The accepting power of unary string logic programs
Theoretical Computer Science
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Reactive Mobility by Failure: When Fail Means Move
Information Systems Frontiers
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Integration of declarative and constraint programming
Theory and Practice of Logic Programming
Practical use of polynomials over the reals in proofs of termination
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Application-specific models and pointcuts using a logic metalanguage
Computer Languages, Systems and Structures
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
A semantic document management system for legal applications
International Journal of Web and Grid Services
Towards Role Based Trust Management without Distributed Searching of Credentials
ICICS '08 Proceedings of the 10th International Conference on Information and Communications Security
An Automated Approach for Proving PCL Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Bayesian learning of Bayesian networks with informative priors
Annals of Mathematics and Artificial Intelligence
Operator Language: A Program Generation Framework for Fast Kernels
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Web Services and Interoperability for the Maude Termination Tool
Electronic Notes in Theoretical Computer Science (ENTCS)
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formalization of HIPAA for a Medical Messaging System
TrustBus '09 Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business
Reasoning about attribute authenticity in a web environment
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Spider vs. Prolog: simulating Prolog in Spider
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Application-specific models and pointcuts using a logic meta language
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
A four-valued logic for rough set-like approximate reasoning
Transactions on rough sets VI
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Component models for semantic web languages
Semantic techniques for the web
Syntactic tree queries in Prolog
LAW IV '10 Proceedings of the Fourth Linguistic Annotation Workshop
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Extended rules in knowledge-based data access
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reasoning with the depth-first iterative deepening strategy in the DLog system
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Declarative privacy policy: finite models and attribute-based encryption
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Transaction management with integrity checking
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
A framework for reasoning with rough sets
Transactions on Rough Sets IV
Data-centric property formulation for passive testing of communication protocols
ACC'11/MMACTEE'11 Proceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing
Validation of SDL-based architectural design models using communication-based coverage criteria
Information and Software Technology
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Representing fuzzy logic programs by graded attribute implications
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
Model checking with probabilistic tabled logic programming
Theory and Practice of Logic Programming
Modeling and simulation in a formal design framework
Proceedings of the 6th Balkan Conference in Informatics
Declarative planning in procedural agent architectures
Expert Systems with Applications: An International Journal
A formal data-centric approach for passive testing of communication protocols
IEEE/ACM Transactions on Networking (TON)
Hi-index | 0.00 |
From the Publisher:What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This edition introduces major new developments in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.