593 search results - page 16 / 119 » RDF and Logic: Reasoning and Extension |
103
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
112
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
133
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
115
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
115
click to vote
PSSS
2003
15 years 2 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...