2766 search results - page 262 / 554 » Hybridizing a Logical Framework |
169
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
177
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
163
click to vote
EPIA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
173
Voted
ISMIS
2005
Springer
16 years 4 days ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
157
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...