From Answer Set Logic Programming to Circumscription via Logic of GK

Artificial Intelligence - Netherlands
doi 10.1016/j.artint.2010.04.001
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

On the Relation Between ID-Logic and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Extending Answer Sets for Logic Programming Agents

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2004English

Constructing Camin-Sokal Phylogenies via Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Logic Programming

1995English

Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming

Proceedings
2019English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Service-Oriented Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy