Cited in
(only showing first 100 items - show all)- Search methods for tile sets in patterned DNA self-assembly
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic programming with infinite sets
- On dual programs in co-logic programming
- Graphs and colorings for answer set programming
- Model checking abstract state machines with answer set programming
- Transition systems for model generators -- a unifying approach
- The refinement extension principle for semantics of dynamic logic programming
- scientific article; zbMATH DE number 1950753 (Why is no real title available?)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language
- scientific article; zbMATH DE number 1931678 (Why is no real title available?)
- Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms
- The near resolvable \(2\)-\((13,4,3)\) designs and thirteen-player whist tournaments
- A Framework for Reasoning with Rough Sets
- Logics in Artificial Intelligence
- Ground Nonmonotonic Modal Logic S5: New Results
- Logics in Artificial Intelligence
- A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
- Computing preferred answer sets by meta-interpretation in Answer Set Programming
- Abduction in well-founded semantics and generalized stable models via tabled dual programs
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
- Logic Programming and Nonmonotonic Reasoning
- Look-back techniques for ASP programs with aggregates
- Logic Programming
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
- scientific article; zbMATH DE number 1696829 (Why is no real title available?)
- Querying and Repairing Inconsistent Databases Under Three-Valued Semantics
- Outlier detection using default reasoning
- Logic programs with abstract constraint atoms: the role of computations
- My work with Victor Marek: a mathematician looks at answer set programming
- Implementing constructive intensional negation
- Layer Supported Models of Logic Programs
- scientific article; zbMATH DE number 1926619 (Why is no real title available?)
- What is in a step: new perspectives on a classical question
- On the semantics of logic programs with preferences
- Non-Markovian control in the Situation Calculus
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- Unfoldings: A partial-order approach to model checking.
- scientific article; zbMATH DE number 1950256 (Why is no real title available?)
- scientific article; zbMATH DE number 1453071 (Why is no real title available?)
- Logics in Artificial Intelligence
- To Vladimir Lifschitz on His 65th Birthday
- Toward Question Answering in Travel Domains
- Twelve Definitions of a Stable Model
- Classification of whist tournaments with up to 12 players
- Magic Sets and their application to data integration
- Answer Set Programming: A Primer
- Towards a Type Discipline for Answer Set Programming
- The limits of fixed-order computation
- Logic Programming and Nonmonotonic Reasoning
- Computing weighted solutions in ASP: representation-based method vs. search-based method
- scientific article; zbMATH DE number 5079838 (Why is no real title available?)
- Unfolding partiality and disjunctions in stable model semantics
- Model checking multi-agent systems with logic based Petri nets
- scientific article; zbMATH DE number 1926616 (Why is no real title available?)
- Combinatorial optimization solutions for the maximum quartet consistency problem
- Extending answer sets for logic programming agents
- The dramatic true story of the frame default
- Bounded LTL model checking with stable models
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
- On abstract modular inference systems and solvers
- Answer sets and qualitative decision making
- From answer set logic programming to circumscription via logic of GK
- Loop-separable programs and their first-order definability
- Experimenting with recursive queries in database and logic programming systems
- Answer set based design of knowledge systems
- scientific article; zbMATH DE number 5043340 (Why is no real title available?)
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
- Synthesizing concurrent programs using answer set programming
- Formalizing sensing actions -- a transition function based approach
- Index sets for finite normal predicate logic programs with function symbols
- scientific article; zbMATH DE number 1884393 (Why is no real title available?)
- Reasoning credulously and skeptically within a single extension
- Nonmonotonic reasoning: Towards efficient calculi and implementations
- scientific article; zbMATH DE number 1875398 (Why is no real title available?)
- scientific article; zbMATH DE number 1884397 (Why is no real title available?)
- Merging Belief Bases Represented by Logic Programs
- Moral reasoning under uncertainty
- An approach from answer set programming to decision making in a railway interlocking system
- Adding Evolving Abilities to a Multi-Agent System
- On methodology of representing knowledge in dynamic domains
- Relating constraint answer set programming languages and algorithms
- Experimenting with parallelism for the instantiation of ASP programs
- Nonmonotonic trust management for P2P applications
- How to fake an RSA signature by encoding modular root finding as a SAT problem
- scientific article; zbMATH DE number 1890623 (Why is no real title available?)
- A decidable subclass of finitary programs
- Logic Programming and Nonmonotonic Reasoning
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Constraint answer set programming systems
- Theoretical Computer Science
- Extending and implementing the stable model semantics
- scientific article; zbMATH DE number 1884396 (Why is no real title available?)
- On the expressibility of stable logic programming
- scientific article; zbMATH DE number 1337888 (Why is no real title available?)
- Why-provenance information for RDF, rules, and negation
- A novel logic-based automatic approach to constructing compliant security policies
- An abstract machine for efficiently computing queries to well-founded models
This page was built for software: Smodels
