Relating constraint answer set programming languages and algorithms

Artificial Intelligence 207 (C):1-22 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2013.10.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Temporal Phylogenetic Networks and Logic Programming.Vladimir Lifschitz - unknown
Category-based Semantics for Equational and Constraint Logic Programming.Răzvan Diaconescu - 1994
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers.B. O'sullivan - 2003
Hybrid Answer Set Programming.Alex Brik & Jeffrey Remmel - 2014 - Annals of Pure and Applied Logic 165 (1):134-163.
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budapest, Hungary, June 30 - July 2, 2003 : Selected Papers.Krzysztof Apt, Francois Fages, Francesca Rossi, Peter Szeredi & Josef Váncza - 2004 - Springer Verlag.
Games in the semantics of programming languages – an elementary introduction.Jan Jürjens - 2002 - Synthese 133 (1-2):131-158.
Answer Sets and Qualitative Optimization.Gerhard Brewka - 2006 - Logic Journal of the IGPL 14 (3):413-433.
Programming Languages Implementation and Logic Programming International Workshop Plilp '88, Orléans, France, May 16-18, 1988 : Proceedings'.Pierre Deransart, Bernard Lorho & J. Malszy Nski - 1989
Towards situation-oriented programming languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - ACM SIGPLAN Notices 30 (1):27-36.
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Netherlands, September 20 - 22, 1995. Proceedings.Manuel Hermenegildo & S. Doaitse Swierstra - 1995 - Springer Verlag.
Harmonic grammar with linear programming: From linear systems to linguistic typology.Christopher Potts, Rajesh Bhatt, Joe Pater & Michael Becker - unknown
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.
A reductive semantics for counting and choice in answer set programming.Vladimir Lifschitz - unknown
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
On the relation between SPARQL1.1 and Answer Set Programming.Axel Polleres & Johannes Peter Wallner - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):159-212.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,244,087)

6 months
6 (#510,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.

Add more references