Representing Knowledge in A-Prolog

Authors:
Michael Gelfond
Affiliations:
-
Venue:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Year:
2002

Citing 47
Cited 42

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Negation in logic programming

Journal of Logic Programming
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Signed data dependencies in logic programs

Journal of Logic Programming
ADL: exploring the middle ground between STRIPS and the situation calculus

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Autoepistemic logic

Journal of the ACM (JACM)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Complexity aspects of various semantics for disjunctive databases

PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On consistency and completeness of autoepistemic theories

Fundamenta Informaticae
On the occur-check-free PROLOG programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Splitting a logic program

Proceedings of the eleventh international conference on Logic programming
Signed logic programs

ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
The expressive powers of the logic programming semantics

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Ramification and causality

Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning

Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia

Solving the frame problem: a mathematical investigation of the common sense law of inertia
On the logic of causal explanation

Artificial Intelligence
A note on the stable model semantics for logic programs

Artificial Intelligence
Foundations of logic programming

Principles of knowledge representation
Control knowledge in planning: benefits and tradeoffs

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Prioritized logic programming and its application to commonsense reasoning

Artificial Intelligence
Declarative problem-solving in DLV

Logic-based artificial intelligence
Reasoning agents in dynamic domains

Logic-based artificial intelligence
Extending the Smodels system with cardinality and weight constraints

Logic-based artificial intelligence
Logic for Problem Solving

Logic for Problem Solving
Reasoning with Logic Programming

Reasoning with Logic Programming
Two components of an action language

Annals of Mathematics and Artificial Intelligence
Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
Nested expressions in logic programs

Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example

Annals of Mathematics and Artificial Intelligence
Default Logic as a Query Language

IEEE Transactions on Knowledge and Data Engineering
Reasoning with Prioritized Defaults

LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Developing a Declarative Rule Language for Applications in Product Configuration

PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
An A-Prolog Decision Support System for the Space Shuttle

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Extending the Stable Model Semantics with More Expressive Rules

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning with Stratified Default Theories

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
A Deductive System for Non-Monotonic Reasoning

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Wire Routing and Satisfiability Planning

CL '00 Proceedings of the First International Conference on Computational Logic
Stratified Default Theories

CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Encoding Planning Problems in Nonmonotonic Logic Programs

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
DisLoP: a research project on Disjunctive Logic Programming

AI Communications
Compiling reasoning with and about preferences into default logic

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Stable model checking made easy

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Splitting a default theory

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications

Theory and Practice of Logic Programming
A Constructive semantic characterization of aggregates in answer set programming

Theory and Practice of Logic Programming
Well-founded and stable semantics of logic programs with aggregates

Theory and Practice of Logic Programming
Complexity results for answer set programming with bounded predicate arities and implications

Annals of Mathematics and Artificial Intelligence
Specifying norm-governed computational societies

ACM Transactions on Computational Logic (TOCL)
SMS and ASP: Hype or TST?

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Relativized Hyperequivalence of Logic Programs for Modular Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*

Theory and Practice of Logic Programming
Modeling preferences and conditional preferences on resource consumption and production in ASP

Journal of Algorithms
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

Journal of Experimental & Theoretical Artificial Intelligence
Modular Equivalence in General

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Answer sets for logic programs with arbitrary abstract constraint atoms

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Splitting a CR-Prolog Program

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Manifold Answer-Set Programs for Meta-reasoning

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Answer sets for logic programs with arbitrary abstract constraint atoms

Journal of Artificial Intelligence Research
A new perspective on stable models

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Declarative and computational properties of logic programs with aggregates

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Logic programs with abstract constraint atoms: The role of computations

Artificial Intelligence
Relativized hyperequivalence of logic programs for modular programming

Theory and Practice of Logic Programming
CR-MODELS: an inference engine for CR-Prolog

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
On the complexity of answer set programming with aggregates

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Modularity aspects of disjunctive stable models

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Logic programs with abstract constraints: representaton, disjunction and complexities

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Answer set programming for the semantic web

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Logic programming for knowledge representation

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Logic programs with abstract constraint atoms: the role of computations

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Formalization of psychological knowledge in answer set programming and its application

Theory and Practice of Logic Programming
Semantics and complexity of recursive aggregates in answer set programming

Artificial Intelligence
Manifold answer-set programs and their applications

Logic programming, knowledge representation, and nonmonotonic reasoning
ASP as a cognitive modeling tool: short-term memory and long-term memory

Logic programming, knowledge representation, and nonmonotonic reasoning
Data integration and answer set programming

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Unfounded sets for disjunctive logic programs with arbitrary aggregates

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Relevant logic and paraconsistency

Inconsistency Tolerance
A rule based knowledge transaction model for mobile environments

Information Sciences: an International Journal
Building business process description and reasoning meta-model Mbp in a-prolog

SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Equivalence between extended datalog programs -- a brief survey

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Unfounded sets and well-founded semantics of answer set programs with aggregates

Journal of Artificial Intelligence Research
Approximation fixpoint theory and the semantics of logic and answers set programs

Correct Reasoning
Connecting first-order ASP and the logic FO(ID) through reducts

Correct Reasoning
Goal-directed execution of answer set programs

Proceedings of the 14th symposium on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we review some recent work on declarative logic programming languages based on stable models/answer sets semantics of logic programs. These languages, gathered together under the name of A-Prolog, can be used to represent various types of knowledge about the world. By way of example we demonstrate how the corresponding representations together with inference mechanisms associated with A-Prolog can be used to solve various programming tasks.