scientific article; zbMATH DE number 1368932
From MaRDI portal
Publication:4702576
zbMath0979.68517MaRDI QIDQ4702576
Publication date: 21 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (21)
Querying incomplete information in RDF with SPARQL ⋮ Nonmonotonic abductive inductive learning ⋮ Applications of Action Languages in Cognitive Robotics ⋮ Answer set based design of knowledge systems ⋮ A synthesis of automated planning and reinforcement learning for efficient, robust decision-making ⋮ Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming ⋮ Fifty Years of Prolog and Beyond ⋮ Computing weighted solutions in ASP: representation-based method vs. search-based method ⋮ Unnamed Item ⋮ A compositional typed higher-order logic with definitions ⋮ Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study ⋮ Temporal disjunctive logic programming ⋮ From answer set logic programming to circumscription via logic of GK ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Determining inference semantics for disjunctive logic programs ⋮ Linear temporal logic as an executable semantics for planning languages ⋮ On the relation among answer set solvers ⋮ SMS and ASP: Hype or TST? ⋮ Possible models computation and revision -- a practical approach ⋮ Answer set programming and plan generation ⋮ A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
This page was built for publication:
