Search Results

Modelling morality with prospective logic

Authors: Pereira, Luis Moniz; Saptawijaya, Ari

Source: International Journal of Reasoning-based Intelligent Systems, Volume 1, Numbers 3-4, 27 August 2009 , pp. 209-221(13)

Publisher: Inderscience Publishers

Abductive reasoning in neural-symbolic systems

Authors: Garcez, Artur; Gabbay, Dov; Ray, Oliver; Woods, John

Source: Topoi, Volume 26, Number 1, March 2007 , pp. 37-49(13)

Publisher: Springer

Inference of abduction theories for handling incompleteness in first-order learning

Authors: Esposito, F.; Ferilli, S.; Basile, T.; Mauro, N.

Source: Knowledge and Information Systems, Volume 11, Number 2, February 2007 , pp. 217-242(26)

Publisher: Springer

Mapping deontic operators to abductive expectations

Authors: Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni

Source: Computational & Mathematical Organization Theory, Volume 12, Numbers 2-3, October 2006 , pp. 205-225(21)

Publisher: Springer

Model-Baded Abduction via Dual Resolution

Authors: Soler-Toscano, Fernando; Nepomuceno-Fernández, Ángel; Aliseda-Llera, Atocha

Source: Logic Journal of the IGPL, Volume 14, Number 2, March 2006 , pp. 305-319(15)

Publisher: Oxford University Press

Induction as Consequence Finding

Author: Inoue, Katsumi

Source: Machine Learning, Volume 55, Number 2, May 2004 , pp. 109-135(27)

Publisher: Springer

A Hybrid Abductive Inductive Proof Procedure

Authors: Oliver Ray; Krysia Broda; Alessandra Russo

Source: Logic Journal of the IGPL, Volume 12, Number 5, September 2004 , pp. 371-397(27)

Publisher: Oxford University Press

Event Calculus Planning Through Satisfiability

Authors: Shanahan, Murray; Witkowski, Mark

Source: Journal of Logic and Computation, Volume 14, Number 5, October 2004 , pp. 731-745(15)

Publisher: Oxford University Press

Programming Rational Agents in a Modal Action Logic

Authors: Baldoni, Matteo; Martelli, Alberto; Patti, Viviana; Giordano, Laura

Source: Annals of Mathematics and Artificial Intelligence, Volume 41, Numbers 2-4, August 2004 , pp. 207-257(51)

Publisher: Springer

Hypothesis finding based on upward refinement of residue hypotheses

Author: Yamamoto A.

Source: Theoretical Computer Science, Volume 298, Number 1, 4 April 2003 , pp. 5-19(15)

Publisher: Elsevier

Abduction in logic programming: A new definition and an abductive procedure based on rewriting

Authors: Lin F.; You J.-H.

Source: Artificial Intelligence, Volume 140, Number 1, September 2002 , pp. 175-205(31)

Publisher: Elsevier

Logic programming and knowledge representation-The A-Prolog perspective

Authors: Gelfond M.; Leone N.

Source: Artificial Intelligence, Volume 138, Number 1, June 2002 , pp. 3-38(36)

Publisher: Elsevier

AN ABDUCTIVE-BASED SCHEDULER FOR AIR-CREW ASSIGNMENT

Authors: Kakas A. C.; Michael A.

Source: Applied Artificial Intelligence, Volume 15, Number 3, 1 March 2001 , pp. 333-360(28)

Publisher: Taylor and Francis Ltd

Conditional reasoning in logic programming

Authors: Gabbay D.; Giordano L.; Martelli A.; Olivetti N.; Sapino M.L.

Source: The Journal of Logic Programming, Volume 44, Number 1, 1 July 2000 , pp. 37-74(38)

Publisher: Elsevier

Abductive logic programming and disjunctive logic programming: their relationship and transferability

Authors: Sakama C.; Inoue K.

Source: The Journal of Logic Programming, Volume 44, Number 1, 1 July 2000 , pp. 75-100(26)

Publisher: Elsevier

An abductive approach to disjunctive logic programming

Authors: You J.-H.; Yuan L.Y.; Goebel R.

Source: The Journal of Logic Programming, Volume 44, Number 1, 1 July 2000 , pp. 101-127(27)

Publisher: Elsevier

ACLP: Abductive Constraint Logic Programming

Authors: Kakas A.C.; Michael A.; Mourlas C.

Source: The Journal of Logic Programming, Volume 44, Number 1, 1 July 2000 , pp. 129-177(49)

Publisher: Elsevier

Computing abduction by using TMS with top-down expectation

Authors: Iwayama N.; Satoh K.

Source: The Journal of Logic Programming, Volume 44, Number 1, 1 July 2000 , pp. 179-206(28)

Publisher: Elsevier

An abductive event calculus planner

Author: Shanahan M.

Source: The Journal of Logic Programming, Volume 44, Number 1, 1 July 2000 , pp. 207-240(34)

Publisher: Elsevier

Special issue: abductive logic programming

Authors: Denecker M.; Kakas A.

Source: The Journal of Logic Programming, Volume 44, Number 1, 1 July 2000 , pp. 1-4(4)

Publisher: Elsevier