Knowledge Representation, Reasoning and Declarative Problem Solving
From MaRDI portal
Publication:4428287
DOI10.1017/CBO9780511543357zbMath1056.68139MaRDI QIDQ4428287
Publication date: 15 September 2003
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
Portfolio approaches for constraint optimization problems, Identification of biological transition systems using meta-interpreted logic programs, ASlib: a benchmark library for algorithm selection, Hypothesizing about signaling networks, Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system, aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming, Answer Set Programming Modulo Acyclicity, Implementing Preferences with asprin, Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses, A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions, Gearing Up for Effective ASP Planning, Toward Question Answering in Travel Domains, Declarative Distributed Computing, Disjunctive Programs with Set Constraints, Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains, Learning Boolean controls in regulated metabolic networks: a case-study, A polynomial reduction of forks into logic programs, Characterising equilibrium logic and nested logic programs: Reductions and complexity,, Characterizations of stable model semantics for logic programs with arbitrary constraint atoms, A Selective Semantics for Logic Programs with Preferences, Answer set based design of knowledge systems, Strong order equivalence, Equilibrium logic, Combining answer set programming with description logics for the semantic web, Heuristics for planning with penalties and rewards formulated in logic and computed through circuits, Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin, Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\), Modeling delayed dynamics in biological regulatory networks from time series data, claspfolio2: Advances in Algorithm Selection for Answer Set Programming, Anytime Computation of Cautious Consequences in Answer Set Programming, The rise and fall of semantic rule updates based onSE-models, A Logic for Qualified Syllogisms, Open answer set programming for the semantic web, Learning Through Hypothesis Refinement Using Answer Set Programming, A progression semantics for first-order logic programs, Dealing with explicit preferences and uncertainty in answer set programming, Ordered completion for logic programs with aggregates, Approximate postdictive reasoning with answer set programming, A history based approximate epistemic action theory for efficient postdictive reasoning, Synonymous theories and knowledge representations in answer set programming, An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints, Semantic-based construction of arguments: an answer set programming approach, Complexity results for answer set programming with bounded predicate arities and implications, On look-ahead heuristics in disjunctive logic programming, Model checking multi-agent systems with logic based Petri nets, Design and results of the Fifth Answer Set Programming Competition, Knowledge-based multi-criteria optimization to support indoor positioning, Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification, A core language for fuzzy answer set programming, Weight constraint programs with evaluable functions, Revisiting \(\mathbb Z\), Complexity of fuzzy answer set programming under Łukasiewicz semantics, A weighted causal theory for acquiring and utilizing open knowledge, FLP answer set semantics without circular justifications for general logic programs, \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming, Static analysis and stochastic search for reachability problem, Solving logic program conflict through strong and weak forgettings, An introduction to fuzzy answer set programming, Modeling biological networks by action languages via answer set programming, Learning Boolean logic models of signaling networks with ASP, Rough set reasoning using answer set programs, Paracoherent answer set computation, Answer Set Programming for Computing Decisions Under Uncertainty, Handling Exceptions in Logic Programming without Negation as Failure, Automatic construction of parallel portfolios via algorithm configuration, A computational framework for conceptual blending, Conflict-driven answer set solving: from theory to practice, Logic programs with abstract constraint atoms: the role of computations, Semantics and complexity of recursive aggregates in answer set programming, Equivalence for the \(G_3^\prime\)-stable models semantics, Safe beliefs for propositional theories, A rule based knowledge transaction model for mobile environments, Modeling multi-valued biological interaction networks using fuzzy answer set programming, Identification of biological regulatory networks from process hitting models, Determining inference semantics for disjunctive logic programs, Linear temporal logic as an executable semantics for planning languages, Fixed point semantics for stream reasoning, Automatic network reconstruction using ASP, Complex optimization in answer set programming, Integrating answer set programming and constraint logic programming, Consistency properties and set based logic programming, Set based logic programming, Aggregated fuzzy answer set programming, A parallel memory-efficient epistemic logic program solver: harder, better, faster, Forgetting auxiliary atoms in forks, Semantics for Possibilistic Disjunctive Programs, Graph-based construction of minimal models, Alan: An action language for modelling non-Markovian domains, The dramatic true story of the frame default, Methods for solving reasoning problems in abstract argumentation -- a survey, Possibilistic nested logic programs and strong equivalence, The possibilistic Horn non-clausal knowledge bases, Fuzzy autoepistemic logic and its relation to fuzzy answer set programming, Logic programming with infinite sets, A first order nonmonotonic extension of constructive logic, Semi-equilibrium models for paracoherent answer set programs, Using possibilistic logic for modeling qualitative decision: answer set programming algorithms, Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions, Enhancing disjunctive logic programming systems by SAT checkers, Reasoning with infinite stable models, An ASP-based Approach to Answering Natural Language Questions for Texts, Parallel Logic Programming: A Sequel, A general framework for preferences in answer set programming, ASP and subset minimality: enumeration, cautious reasoning and MUSes, Towards a qualitative theory of the interruption of eating behavior change, Proof-theoretic foundations of normal logic programs, Tackling universal properties of minimal trap spaces of Boolean networks, Gelfond-Zhang aggregates as propositional formulas, Normal Form Nested Programs, Relativized Hyperequivalence of Logic Programs for Modular Programming, Dynamic Reasoning Systems, FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data, ASP Solving for Expanding Universes, Progress in clasp Series 3, Solving Disjunctive Fuzzy Answer Set Programs, The Design of the Sixth Answer Set Programming Competition, Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming, Updates in answer set programming: An approach based on basic structural properties, Expressiveness of communication in answer set programming, Parallel instantiation of ASP programs: techniques and experiments, Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates, Specifying and Verbalising Answer Set Programs in Controlled Natural Language, RASP and ASP as a fragment of linear logic, Some properties of system descriptions of, On the relation between SPARQL1.1 and Answer Set Programming, The Semantics of Consistency and Trust in Peer Data Exchange Systems, Unnamed Item, Clingo goes linear constraints over reals and integers, Well-founded operators for normal hybrid MKNF knowledge bases, A new algorithm to automate inductive learning of default theories, Generating explanations for biomedical queries, Characterizing and extending answer set semantics using possibility theory, aspeed: Solver scheduling via answer set programming, Fuzzy answer set computation via satisfiability modulo theories, Optimizing phylogenetic supertrees using answer set programming, An infinitary encoding of temporal equilibrium logic, Taming primary key violations to query large inconsistent data via ASP, Modular action language, Solving stable matching problems using answer set programming, Disjunctive answer set solvers via templates, Justifications for programs with disjunctive and causal-choice rules, A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns, Query answering in resource-based answer set semantics, Range-based argumentation semantics as two-valued models, ASPeRiX, a first-order forward chaining approach for answer set computing, CASP solutions for planning in hybrid domains, Solving distributed constraint optimization problems using logic programming, Abstract Solvers for Computing Cautious Consequences of ASP programs, Better Paracoherent Answer Sets with Less Resources, Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge, Domain-Independent Cost-Optimal Planning in ASP, Hybrid metabolic network completion, Qualitative Constraint Enforcement in Advanced Policy Specification, Computing Diverse Optimal Stable Models, Strongly Equivalent Temporal Logic Programs, Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments, White-box Induction From SVM Models: Explainable AI with Logic Programming, Design and implementation of aggregate functions in the DLV system, Logic programming with social features, Extended ASP Tableaux and rule redundancy in normal logic programs, Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs, Approximating agreements in formal argumentation dialogues1, Multivalued action languages with constraints in CLP(FD), Reducing fuzzy answer set programming to model finding in fuzzy logics, Detection and exploitation of functional dependencies for model generation, Stable model semantics for founded bounds, Minimal intervention strategies in logical signaling networks with ASP, Fuzzy answer sets approximations, Answer set programming as a modeling language for course timetabling, A declarative approach to distributed computing: Specification, execution and analysis, Merging Logic Programs under Answer Set Semantics, Constraint Answer Set Solving, On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers, Preferred First-Order Answer Set Programs, Complexity of super-coherence problems in ASP, Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving, Stability, Supportedness, Minimality and Kleene Answer Set Programs, Automata and Answer Set Programming, Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets, Multi-shot ASP solving with clingo, Justifications for logic programs under answer set semantics, Probabilistic reasoning with answer sets, Experimenting with recursive queries in database and logic programming systems, Logic programs with monotone abstract constraint atoms, The Seventh Answer Set Programming Competition: Design and Results, The External Interface for Extending WASP, A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders, Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming, Comparative uncertainty: theory and automation, Model-Based Knowledge Representation and Reasoning Via Answer Set Programming, On finitely recursive programs, Towards a Type Discipline for Answer Set Programming, General Fuzzy Answer Set Programs, Answer Set Programming: A Primer, Relativized hyperequivalence of logic programs for modular programming, A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming, A Theoretical Framework for the Declarative Debugging of Datalog Programs, Snapshot Generation in a Constructive Object-Oriented Modeling Language, Authorization and Obligation Policies in Dynamic Systems, Quo Vadis Answer Set Programming?, Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There, Detecting Inconsistencies in Large Biological Networks with Answer Set Programming, Automatic Composition of Melodic and Harmonic Music by Answer Set Programming, Engineering an Incremental ASP Solver, Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories, Computable Functions in ASP: Theory and Implementation, Composing Normal Programs with Function Symbols, Quantified Equilibrium Logic and Foundations for Answer Set Programs, Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence, $$\exists $$ -ASP for Computing Repairs with Existential Ontologies
