Representing knowledge in A-Prolog

DOI10.1007/3-540-45632-5_16MaRDI QIDQ4707773zbMATH OpenFDO

Authors Michael Gelfond

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2408/24080413.htm

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Logic programming and knowledge representation---The A-Prolog perspective
• Logic programming and knowledge representation
• Logic-based knowledge representation
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming

Cited in

(21)

• Using Prolog for building FROG, a hybrid knowledge representation system
• Recursive rules with aggregation: a simple unified semantics
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Methods for solving reasoning problems in abstract argumentation -- a survey
• Complexity results for answer set programming with bounded predicate arities and implications
• Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
• Connecting first-order ASP and the logic FO(ID) through reducts
• Declarative encodings of acyclicity properties
• Logic programming with social features
• Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
• Answer Set Programming: A Primer
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Debugging in A-Prolog: A logical approach
• Personal perspective on the development of logic programming based KR languages
• ASP-Core-2 input language format
• Semantics and complexity of recursive aggregates in answer set programming
• SMS and ASP: Hype or TST?
• Relativized Hyperequivalence of Logic Programs for Modular Programming
• External behavior of a logic program and verification of refactoring
• Answer set based design of knowledge systems
• Logic programs with abstract constraint atoms: the role of computations

This page was built for publication: Representing knowledge in A-Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707773)