Logic programming and knowledge representation
From MaRDI portal
Recommendations
- Logic Programming for Knowledge Representation
- Logic Programming in Knowledge Domains
- scientific article; zbMATH DE number 1418279
- scientific article; zbMATH DE number 1241674
- Logic programming and knowledge representation---The A-Prolog perspective
- scientific article; zbMATH DE number 4072431
- scientific article; zbMATH DE number 194376
- scientific article; zbMATH DE number 1070626
- Logical knowledge-representation formalisms
- scientific article; zbMATH DE number 4076677
Cited in
(66)- Computing ideal sceptical argumentation
- Formalizing narratives using nested circumscription
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Disjunctive logic and semantics of disjunctive logic programs
- Abduction from logic programs: Semantics and complexity
- A unifying view for logic programming with non-monotonic reasoning
- Abductive reasoning through filtering
- Prioritized logic programming and its application to commonsense reasoning
- Logic programming and knowledge representation---The A-Prolog perspective
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
- Clausal logic and logic programming in algebraic domains
- A logic programming system for nonmonotonic reasoning
- Dealing with explicit preferences and uncertainty in answer set programming
- Building a knowledge base: An example
- Making sense of sensory input
- Paracoherent answer set computation
- Efficient and flexible access control via Jones-optimal logic program specialisation
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
- Autoepistemic equilibrium logic and epistemic specifications
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
- On look-ahead heuristics in disjunctive logic programming
- An infinite-game semantics for well-founded negation in logic programming
- A rule based knowledge transaction model for mobile environments
- Answer sets and qualitative decision making
- scientific article; zbMATH DE number 1696830 (Why is no real title available?)
- Logic programming in the 1970s
- On elementary loops of logic programs
- A measure of arbitrariness in abductive explanations
- Logic programming with social features
- Knowledge representation and non-monotonic reasoning
- Probabilistic reasoning with answer sets
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- scientific article; zbMATH DE number 4053066 (Why is no real title available?)
- scientific article; zbMATH DE number 67516 (Why is no real title available?)
- scientific article; zbMATH DE number 194155 (Why is no real title available?)
- Inductive equivalence in clausal logic and nonmonotonic logic programming
- Hierarchical representation of legal knowledge with metaprogramming in logic
- scientific article; zbMATH DE number 1536548 (Why is no real title available?)
- An application of answer set programming to the field of second language acquisition
- A metamodel of access control for distributed environments: applications and properties
- scientific article; zbMATH DE number 1926645 (Why is no real title available?)
- Representing Incomplete Knowledge in Abductive Logic Programming
- scientific article; zbMATH DE number 1407683 (Why is no real title available?)
- Complexity results for abductive logic programming
- Abduction over 3-valued extended logic programs
- Indefinite abductive explanations
- Collaborative vs. Conflicting Learning, Evolution and Argumentation
- Logic Programming in Knowledge Domains
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
- Ordering default theories and nonmonotonic logic programs
- LP-functions as a tool for knowledge representation
- A general theory of confluent rewriting systems for logic programming and its applications
- On combining ontologies and rules
- Interpreting knowledge-based programs
- Aspmc: new frontiers of algebraic answer set counting
- Update-programms can update programs
- A complete diagrammatic calculus for Boolean satisfiability
- Twist sequent calculi for S4 and its neighbors
- Compact representation of knowledge bases in inductive logic programming
- Enhancing disjunctive logic programming systems by SAT checkers
- A causal approach to nonmonotonic reasoning
- Answer set based design of knowledge systems
- Possibilistic uncertainty handling for answer set programming
- Semantic-based construction of arguments: an answer set programming approach
- An axiomatic analysis of structured argumentation with priorities
This page was built for publication: Logic programming and knowledge representation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4305625)
