Representing indefinite information using abductive logic programs

Representing indefinite information using abductive logic programs

Bibliographic Details
Main Author:	Preist, Christopher William
Published:	Imperial College London 1998
Subjects:	005 Artificial intelligence
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298408

Similar Items

Abductive and constraint logic programming
by: Wetsel, Gerhard
Published: (1997)

Nonmonotonic inductive logic programming as abductive search
by: Corapi, Domenico
Published: (2012)

Abduction at the interface of Logic and Philosophy of Science
by: Johan Van Benthem
Published: (2009-12-01)

Layered abduction for speech recognition from articulation /
by: Fox, Richard Keith
Published: (1992)

Abduction by deduction
by: Fung, Tze Ho
Published: (1996)

Minimal consequence : a semantic approach to reasoning with incomplete information
by: Papalaskari, Mary-Angela
Published: (1988)

The qualitative behaviour of dynamic physical systems
by: Morgan, A. J.
Published: (1988)

Control of social reasoning in resource bounded agents
by: Hogg, Lisa Marie Jean
Published: (2001)

Knowledge-based techniques for multivariable control system design
by: Boyle, Jean-Marc
Published: (1987)

Novel algorithms for modern power systems
by: Rajkumar, Naganathy
Published: (2001)

Discretization and defragmentation for decision tree learning
by: Ho, Colin Kok Meng
Published: (1999)

Nonmonotonic inheritance of class membership
by: Woodhead, David A.
Published: (1990)

Exploiting application parallelism in production systems
by: Daniel, John W. H.
Published: (1990)

Self motivated planning in autonomous agents
by: Coddington, Alexandra Margrit
Published: (2001)

Application of computational models and qualitative reasoning to economics
by: Wong, Yiu Kwong
Published: (1996)

Automatic text summarisation through lexical cohesion analysis
by: Benbrahim, Mohamed
Published: (1996)

Design synthesis for dynamically reconfigurable logic systems
by: Vasilko, Milan
Published: (2000)

Belief Revision in Dynamic Abducers through Meta-Abduction
by: Bharathan, Vivek
Published: (2010)

Fuzzy FOIL: A fuzzy logic based inductive logic programming system.
by: Chen, Guiming.
Published: (2009)

Abductive logic programming
by: Toni, Francesca
Published: (1995)

Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

Inductive logic programming using bounded hypothesis space
by: Athakravi, Duangtida
Published: (2015)

Anomaly-Driven Belief Revision by Abductive Metareasoning
by: Eckroth, Joshua Ryan
Published: (2014)

Custom computer architectures for logic programming
by: Fidjeland, Andreas Kirkeby
Published: (2007)

Unifying programming paradigms : logic programming and finite state automata
by: Bird, Philip
Published: (2000)

Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)

Logic and the development of programming languages, 1930-1975
by: Priestley, P. M.
Published: (2008)

A CAD application using logic programming
by: Gonzalez, Juan Camacho
Published: (1983)

Program transformation using temporal logic specifications
by: Lacey, D. J.
Published: (2003)

Domain logic programming : theory and applications to scientific knowledge representation
by: Dryllerakis, Kostantinos
Published: (1996)

Abductive Humanism: Comparative Advantages of Artificial Intelligence and Human Cognition According to Logical Inference
by: Littlefield, William Joseph, II
Published: (2019)

Techniques for preventing the recomputation in logic programs
by: Azevedo, Paolo Jorge De Sousa
Published: (1996)

Learning definite and normal logic programs by induction on failure
by: Kimber, Timothy
Published: (2012)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

Towards AND/OR parallel logic programming
by: Khabaza, Tom
Published: (1989)

Νέοι Memetic αλγόριθμοι με εφαρμογές στη βιοπληροφορική
by: Πεταλάς, Γιάννης
Published: (2010)

Efficient learning and evaluation of complex concepts in inductive logic programming
by: Santos, Jose Carlos Almeida Santos
Published: (2010)

Logic programming tools and techniques for imperative program verification
by: O'Neill, I. M.
Published: (1987)