scientific article; zbMATH DE number 1368933
From MaRDI portal
Publication:4702577
zbMath0979.68524MaRDI QIDQ4702577
Miroslaw Truszczynski, Victor W. Marek
Publication date: 17 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Strong Equivalence of Logic Programs with Counting, Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells, FOLASP: FO(·) as Input Language for Answer Set Solvers, Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming, Fifty Years of Prolog and Beyond, Thirty years of Epistemic Specifications, Abstract Solvers for Computing Cautious Consequences of ASP programs, Revisiting Explicit Negation in Answer Set Programming, Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs, Unnamed Item, Unnamed Item, An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents., A compositional typed higher-order logic with definitions, Modular Answer Set Programming as a Formal Specification Language, Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming, Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming, Formalizing Negotiations Using Logic Programming, Explaining Preferences and Preferring Explanations, Unnamed Item, Model-Based Knowledge Representation and Reasoning Via Answer Set Programming, Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic, SMS and ASP: Hype or TST?, Quo Vadis Answer Set Programming?, Answer Set Programming without Unstratified Negation, Detecting Inconsistencies in Large Biological Networks with Answer Set Programming, Computable Functions in ASP: Theory and Implementation, Relativized Hyperequivalence of Logic Programs for Modular Programming, Abduction in logic programming: A new definition and an abductive procedure based on rewriting, On abstract modular inference systems and solvers, Querying incomplete information in RDF with SPARQL, Logic programs, iterated function systems, and recurrent radial basis function networks, Performance Tuning in Answer Set Programming, Enablers and Inhibitors in Causal Justifications of Logic Programs, Diagnostic Reasoning for Robotics Using Action Languages, The Design of the Sixth Answer Set Programming Competition, Causal Logic Programming, Applications of Action Languages in Cognitive Robotics, The Intelligent Grounder of DLV, Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming, Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains, Connecting First-Order ASP and the Logic FO(ID) through Reducts, Strong order equivalence, A characterization of answer sets for logic programs, Cautious reasoning in ASP via minimal models and unsatisfiable cores, Argumentation-Based Semantics for Logic Programs with First-Order Formulae, Improving the Normalization of Weight Rules in Answer Set Programs, Infinitary equilibrium logic and strongly equivalent logic programs, Lpopt: a rule optimization tool for answer set programming, Temporal equilibrium logic: a survey, On the relation between SPARQL1.1 and Answer Set Programming, A progression semantics for first-order logic programs, Integrating Inductive Definitions in SAT, Ordered completion for logic programs with aggregates, Achievements in answer set programming, SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions, Generating explanations for biomedical queries, Knowledge compilation of logic programs using approximation fixpoint theory, Fuzzy answer set computation via satisfiability modulo theories, Modular action language, Putting logic-based distributed systems on stable grounds, Disjunctive answer set solvers via templates, The power of non-ground rules in Answer Set Programming, Stable-unstable semantics: Beyond NP with normal logic programs, Justifications for programs with disjunctive and causal-choice rules, Query answering in resource-based answer set semantics, Constraint answer set solver EZCSP and why integration schemas matter, CASP solutions for planning in hybrid domains, Solving distributed constraint optimization problems using logic programming, Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs, Complexity results for answer set programming with bounded predicate arities and implications, Design and results of the Fifth Answer Set Programming Competition, Ordered completion for first-order logic programs on finite structures, An application of answer set programming to the field of second language acquisition, What is answer set programming to propositional satisfiability, Stepwise debugging of answer-set programs, Extended RDF: computability and complexity issues, Representing abstract dialectical frameworks with binary decision diagrams, Arguing correctness of ASP programs with aggregates, IASCAR: incremental answer set counting by anytime refinement, Semantics for conditional literals via the SM operator, QMaxSATpb: a certified MaxSAT solver, The complexity of recursive constraint satisfaction problems, The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference, Unnamed Item, Unnamed Item, FLP answer set semantics without circular justifications for general logic programs, On the parameterized complexity of non-monotonic logics, Inferring phylogenetic trees using answer set programming, Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs, Learning discrete decomposable graphical models via constraint optimization, Conflict-driven answer set solving: from theory to practice, On the Coincidence of Semantics for Uniquely Determined Programs, Logic programs with abstract constraint atoms: the role of computations, Stable models and circumscription, Thirteen Definitions of a Stable Model, Automata and Answer Set Programming, Determining inference semantics for disjunctive logic programs, The Seventh Answer Set Programming Competition: Design and Results, A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders, Fixed point semantics for stream reasoning, Autoepistemic answer set programming, An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems, Answer Set Programming: A Primer, Answers set programs for non-transferable utility games: expressiveness, complexity and applications, Integrating answer set programming and constraint logic programming, Consistency properties and set based logic programming, Stable models and difference logic, Inductive situation calculus, Set based logic programming, The loop formula based semantics of description logic programs, Aggregated fuzzy answer set programming, Equilibrium graphs, Multi-context systems in dynamic environments, A multiparametric view on answer set programming, Temporal Here and There, Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search, On the equivalence and range of applicability of graph-based representations of logic programs., The dramatic true story of the frame default, Methods for solving reasoning problems in abstract argumentation -- a survey, Backdoors to tractable answer set programming, Logic programming and knowledge representation---The A-Prolog perspective, Answer set programming and plan generation, Extending and implementing the stable model semantics, Logic programming with infinite sets, Nonmonotonic causal theories, Heuristic planning: A declarative approach based on strategies for action selection, Reasoning with infinite stable models
Uses Software
