4266 search results - page 99 / 854 » A Framework for Defining Logics |
AI
2001
Springer
15 years 2 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
EUSFLAT
2007
14 years 11 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...
DAM
1999
14 years 9 months ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
RAID
1999
Springer
15 years 2 months ago
1999
Springer
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...