1814 search results - page 61 / 363 » Extended First-Order Logic |
102
click to vote
JCS
2006
15 years 23 days ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
104
Voted
SYNTHESE
2008
15 years 22 days ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
112
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
124
Voted
AAAI
2010
15 years 2 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...
102
Voted
AI
2011
Springer
14 years 7 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...