|
Documentos: 
61. (72%)
Solving over-constrained temporal reasoning problems
- M. Beaumont; J. Thornton; A. Sattar; Michael Maher
Abstract. Temporal reasoning is an important task in many areas of computer science including planni ... (application/pdf) - 30-sep-2009
62. (65%)
Oracle Semantics for Prolog
- Roberto Barbuti,Michael Codish,Roberto Giacobazzi,Michael J. Maher
This paper proposes to specify semantic definitions for logic programming languages such as Prolog i ... (ps) - 31-mar-2009
63. (65%)
Oracle Semantics for Prolog
- Roberto Barbuti; Michael Codish; Roberto Giacobazzi; Michael J. Maher
This paper proposes to specify semantic definitions for logic programming languages such as Prolog i ... (application/postscript) - 04-ago-2009
64. (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 ... - 18-mar-2007
65. (60%)
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data
- Alexander Brodsky,Catherine Lassez,Jean-louis Lassez,Michael J. Maher
The filtering method considered in this paper is based on approximation of a spatial object in d-dim ... (ps) - 31-mar-2009
66. (60%)
Representation Results for Defeasible Logic
- Grigoris Antoniou,David Billington,Guido Governatori,Michael J. Maher
Intelligence [Maher et al. 1998], and the 1998 Joint International Conference and Symposium on Logic ... Large Grant No. A49803544. Authors' addresses. G. Antoniou, D. Billignton and M.J. Maher: School of (ps) - 31-mar-2009
67. (60%)
Representation Results for Defeasible Logic
- Grigoris Antoniou,David Billington,Guido Governatori,Michael J. Maher
This paper investigates transformations and normal forms in the context of Defeasible Logic, a simpl ... (pdf) - 31-mar-2009
68. (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 ... - 23-abr-2009
69. (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) - 23-abr-2009
70. (60%)
On the Modeling and Analysis of Regulations
- Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
Regulations are a wide-spread and important part of government and business. They codify how product ... (http://espace.library.uq.edu.au/eserv/UQ:9714/acis1999.pdf) - 23-abr-2009 |
|||||
Ciudad Grupo Santander
Avda. de Cantabria, s/n - 28660
Boadilla del Monte
Madrid, España