Logic programming
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4158607 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 3466489 (Why is no real title available?)
- scientific article; zbMATH DE number 1150714 (Why is no real title available?)
- scientific article; zbMATH DE number 1158760 (Why is no real title available?)
- scientific article; zbMATH DE number 1950443 (Why is no real title available?)
- scientific article; zbMATH DE number 7030641 (Why is no real title available?)
- scientific article; zbMATH DE number 3999250 (Why is no real title available?)
- scientific article; zbMATH DE number 1453071 (Why is no real title available?)
- A First Order Forward Chaining Approach for Answer Set Computing
- A Machine-Oriented Logic Based on the Resolution Principle
- A finite-valued solver for disjunctive fuzzy answer set programs
- A logic for default reasoning
- A new logical characterisation of stable models and answer sets
- A translational approach to constraint answer set solving
- ASSAT: computing answer sets of a logic program by SAT solvers
- An introduction to fuzzy answer set programming
- Answer Set Programming: A Primer
- Answer set programming and plan generation
- Answer set programming based on propositional satisfiability
- Answer set programming for continuous domains: a fuzzy logic approach
- Autoepistemic circumscription and logic programming
- Characterizing and extending answer set semantics using possibility theory
- Circumscription - a form of non-monotonic reasoning
- Complexity of fuzzy answer set programming under Łukasiewicz semantics
- Computable Functions in ASP: Theory and Implementation
- Dealing Automatically with Exceptions by Introducing Specificity in ASP
- Deduction in non-Horn databases
- Design and results of the Fifth Answer Set Programming Competition
- Design, implementation, and evaluation of the constraint language cc(FD)
- Extending and Implementing RASP
- Extending and implementing the stable model semantics
- From (Quantified) Boolean Formulae to Answer Set Programming
- Handbook of constraint programming.
- Implementing prioritized merging with ASP
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming and knowledge representation---The A-Prolog perspective
- Logic programming in the context of multiparadigm programming: the Oz experience
- Logic programs with stable model semantics as a constraint programming paradigm
- Planning with preferences using logic programming
- Possibilistic uncertainty handling for answer set programming
- Propositional theories are strongly equivalent to logic programs
- SWI-Prolog
- Semantical considerations on nonmonotonic logic
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- Stable models and circumscription
- The DLV system for knowledge representation and reasoning
- The design of the Seventh Answer Set Programming Competition
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Theory and practice of constraint handling rules
- Twelve Definitions of a Stable Model
This page was built for publication: Logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602251)