Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Journal of Applied Logic 7 (3):341-362 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2008.10.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

Specifications and Assertions.Jan van Eijck - unknown
A factor-based definition of precedential constraint.John F. Horty & Trevor J. M. Bench-Capon - 2012 - Artificial Intelligence and Law 20 (2):181-214.
What is answer set programming?Vladimir Lifschitz - unknown
A Prolog Implementation of the Method of Euler Circles for Syllogistic Reasoning.Peter Yule - 1996 - Hcrc Publications, University of Edinburgh.
An overview of possibilistic handling of default reasoning, with experimental studies.Salem Benferhat, Jean F. Bonnefon & Rui Silva Nevedas - 2005 - Synthese 146 (1-2):53 - 70.
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings.Michael Fisher & Richard Owens - 1995 - Springer.
Evolution and Constraints on Variation: Variant Specification and Range of Assessment.Trevor Pearce - 2011 - Philosophy of Science 78 (5):739-751.
Semi-sentences, semi-strings and semi-grammatical rules in prolog.Alejandro Sobrino, José Angel Olivas & Santiago Fernández - 1998 - Logica Trianguli: Logic in Łódź, Nantes, Santiago de Compostela 2:117.
Answer Synthesis for CLP Programs with Negation.Gilles Richard & Frédéric Saubion - 1997 - Logic Journal of the IGPL 5 (3):30-66.
A Relevance Constraint on Composition.David Vander Laan - 2010 - Australasian Journal of Philosophy 88 (1):135-145.
An empirical investigation of reasoning with legal cases through theory construction and application.Alison Chorley & Trevor Bench-Capon - 2005 - Artificial Intelligence and Law 13 (3-4):323-371.
A theory of legal reasoning and a logic to match.Jaap Hage - 1996 - Artificial Intelligence and Law 4 (3-4):199-273.
Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
Knowledge of Validity.Sinan Dogramaci - 2010 - Noûs 44 (3):403-432.
Logic and Reasoning.Jaroslav Peregrin - unknown

Analytics

Added to PP
2016-06-30

Downloads
19 (#805,446)

6 months
3 (#984,719)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Interpretation as abduction.Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt & Paul Martin - 1993 - Artificial Intelligence 63 (1-2):69-142.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.

Add more references