Knowledge Representation, Reasoning and Declarative Problem Solving

DOI10.1017/CBO9780511543357zbMATH Open1056.68139MaRDI QIDQ4428287

Chitta Baral

Publication date: 15 September 2003

zbMATH Keywords

answer set programmingdeclarative programminganswer set semantics

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (only showing first 100 items - show all)

• Logic programming with infinite sets
• Semi-equilibrium models for paracoherent answer set programs
• Modeling biological networks by action languages via answer set programming
• Merging Logic Programs under Answer Set Semantics
• On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
• Authorization and Obligation Policies in Dynamic Systems
• Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
• Computable Functions in ASP: Theory and Implementation
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Semantics and complexity of recursive aggregates in answer set programming
• General Fuzzy Answer Set Programs
• Portfolio approaches for constraint optimization problems
• Reasoning with infinite stable models
• Equilibrium logic
• Model checking multi-agent systems with logic based Petri nets
• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
• Synonymous theories and knowledge representations in answer set programming
• Knowledge-based multi-criteria optimization to support indoor positioning
• Expressive power of knowledge representation systems
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Title not available (Why is that?)
• Solving Disjunctive Fuzzy Answer Set Programs
• ASlib: a benchmark library for algorithm selection
• Answer set based design of knowledge systems
• Strong order equivalence
• Engineering an Incremental ASP Solver
• A first order nonmonotonic extension of constructive logic
• A Logic for Qualified Syllogisms
• Implementing Preferences with asprin
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Disjunctive Programs with Set Constraints
• Complex optimization in answer set programming
• Parallel Logic Programming: A Sequel
• Integrating answer set programming and constraint logic programming
• Automatic network reconstruction using ASP
• Fuzzy answer set computation via satisfiability modulo theories
• A Selective Semantics for Logic Programs with Preferences
• A core language for fuzzy answer set programming
• Linear temporal logic as an executable semantics for planning languages
• Safe beliefs for propositional theories
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Clingo goes linear constraints over reals and integers
• aspeed: Solver scheduling via answer set programming
• Modular action language
• Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
• Aggregated fuzzy answer set programming
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Proof-theoretic foundations of normal logic programs
• A general framework for preferences in answer set programming
• Combining answer set programming with description logics for the semantic web
• Conflict-driven answer set solving: from theory to practice
• Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Fuzzy answer sets approximations
• A weighted causal theory for acquiring and utilizing open knowledge
• Multi-shot ASP solving with clingo
• Alan: An action language for modelling non-Markovian domains
• Title not available (Why is that?)
• Answer set programming as a modeling language for course timetabling
• Probabilistic reasoning with answer sets
• Logic programs with monotone abstract constraint atoms
• FLP answer set semantics without circular justifications for general logic programs
• Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
• Weight constraint programs with evaluable functions
• Complexity of fuzzy answer set programming under Łukasiewicz semantics
• Minimal intervention strategies in logical signaling networks with ASP
• Open answer set programming for the semantic web
• Learning Boolean logic models of signaling networks with ASP
• Design and implementation of aggregate functions in the DLV system
• Revisiting \(\mathbb Z\)
• Automatic construction of parallel portfolios via algorithm configuration
• An introduction to fuzzy answer set programming
• Constraint Answer Set Solving
• Enhancing disjunctive logic programming systems by SAT checkers
• Methods for solving reasoning problems in abstract argumentation -- a survey
• Hypothesizing about signaling networks
• Learning Through Hypothesis Refinement Using Answer Set Programming
• Generating explanations for biomedical queries
• Snapshot Generation in a Constructive Object-Oriented Modeling Language
• On the relation between SPARQL1.1 and Answer Set Programming
• The possibilistic Horn non-clausal knowledge bases
• A declarative approach to distributed computing: Specification, execution and analysis
• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• The rise and fall of semantic rule updates based onSE-models
• \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
• Automata and Answer Set Programming
• The Design of the Sixth Answer Set Programming Competition
• Relativized hyperequivalence of logic programs for modular programming
• Logic programs with abstract constraint atoms: the role of computations
• Possibilistic nested logic programs and strong equivalence
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
• Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
• Answer Set Programming: A Primer
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• Experimenting with recursive queries in database and logic programming systems
• Equivalence for the \(G_3^\prime\)-stable models semantics
• Identification of biological transition systems using meta-interpreted logic programs
• Characterizing and extending answer set semantics using possibility theory
• Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments

This page was built for publication: Knowledge Representation, Reasoning and Declarative Problem Solving

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