|
Documentos: 
81. (60%)
A comparison of sceptical NAF-free logic programming approaches
- Antoniou, Grigoris; Maher, Michael J.; Billington, David; Governatori, Guido
Recently there has been increased interest in logic programming-based default reasoning approaches w ... (http://espace.library.uq.edu.au/eserv/UQ:9622/lpnmr.pdf) - 14-ago-2009
82. (60%)
A Local Search Approach to Modelling and Solving Interval Algebra Problems
- Thornton Beaumont And; J. Thornton; M. Beaumont; A. Sattar; Michael Maher
Local search techniques have attracted considerable interest in the artificial intelligence communi ... (application/postscript) - 27-ago-2009
83. (60%)
On Fourier's Algorithm for Linear Arithmetic
- Constraints Jean-Louis Lassez; Jean-louis Lassez; Michael J. Maher
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. ... (application/postscript) - 02-sep-2009
84. (60%)
To appear in Theory and Practice of Logic Programming (TPLP) 1 Embedding Defeasible Logic into Logic Programming
- Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher
Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently ... (application/pdf) - 17-sep-2009
85. (60%)
Representation Results for Defeasible Logic
- Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher
The importance of transformations and normal forms in logic programming, and generally in computer s ... (application/pdf) - 18-sep-2009
86. (60%)
Representation Results for Defeasible Logic
- Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher
The importance of transformations and normal forms in logic programming, and generally in computer s ... (application/pdf) - 18-sep-2009
87. (60%)
A Local Search Approach to Modelling and Solving Interval Algebra Problems
- J. Thornton; M. Beaumont; A. Sattar; Michael Maher; School Of Information
Local search techniques have attracted considerable interest in the artificial intelligence communit ... (application/pdf) - 18-sep-2009
88. (60%)
Finding Fair Allocations for the Coalition Problem with Constraints
- Evan Tick; Roland H. C. Yap; Michael J. Maher
Fair allocation of payoffs among cooperating players who can form various coalitions of differing ut ... (application/pdf) - 22-sep-2009
89. (60%)
Argumentation Semantics for Defeasible Logic
- Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has ... - 16-oct-2009
90. (60%)
Embedding defeasible logic into logic programming
- Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently ... (266672 bytes; application/pdf) - 16-oct-2009 |
|||||
Ciudad Grupo Santander
Avda. de Cantabria, s/n - 28660
Boadilla del Monte
Madrid, España