Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of deductive databases and logic programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Weak generalized closed world assumption
Journal of Automated Reasoning
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programs with classical negation
Logic programming
Generalized well-founded semantics for logic programs
CADE-10 Proceedings of the tenth international conference on Automated deduction
Non-monotonic reasoning versus logic programming: a new perspective
The foundation of artificial intelligence---a sourcebook
Query evaluation in recursive databases: bottom-up and top-down reconciled
Data & Knowledge Engineering
Weakly stratified logic programs
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
Unsolvable problems for SLDF resolution
Journal of Logic Programming
Journal of Logic Programming
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
A procedural semantics for well-founded negation in logic programs
Journal of Logic Programming
Well founded semantics for logic programs with explicit negation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An argumentation semantics for logic programming with explicit negation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tabulated resolution for well founded semantics
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
A proof procedure for extended logic programs
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Adding closed world assumptions to well-founded semantics
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
SLX—a top-down derivation procedure for programs with explicit negation
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
Bottom-up evaluation and query optimization of well-founded models
Theoretical Computer Science
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
An extension of Van Gelder's alternating fixpoint to magic programs
Journal of Computer and System Sciences
The resolution calculus
Foundations of logic programming
Principles of knowledge representation
Three-valued formalization of logic programming: is it needed?
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
From Logic to Logic Programming
From Logic to Logic Programming
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
WELL!: An Evaluation Procedure for All Logic Programs
ICDT '90 Proceedings of the Third International Conference on Database Theory
OLD Resolution with Tabulation
Proceedings of the Third International Conference on Logic Programming
The Strong Semantics for Logic Programs
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
A Natural Semantics for Logic Programs with Negation
Proceedings of the Ninth Conference on Foundations of Software Technology and Theoretical Computer Science
A Hybrid System with Datalog and Concept Languages
AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
On the problem of computing the well-founded semantics
Theory and Practice of Logic Programming
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
ICPW '07 Proceedings of the 2nd international conference on Pragmatic web
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Decidability under the well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
IEEE Transactions on Knowledge and Data Engineering
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Reaction RuleML 1.0: standardized semantic reaction rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
This lecture script gives an introduction to rule based knowledge representation on Web. It reviews the logical foundations of logic programming and derivation rule languages and describes existing Web rule standard languages such as RuleML, the W3C Rule Interchange Format (RIF), and the Web rule engine Prova.