1814 search results - page 35 / 363 » Extended First-Order Logic |
JSYML
2006
14 years 9 months ago
2006
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a s...
IJAR
2008
14 years 9 months ago
2008
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
IJCAI
2003
14 years 11 months ago
2003
emic Logic for Arbitration (Extended Abstract)
ISMIS
1994
Springer
15 years 1 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...