Search Sciweavers | Sciweavers

120 search results - page 1 / 24

» First Order Logic with Domain Conditions

click to vote

TPHOL
2003
IEEE

100views Automated Reasoning» more TPHOL 2003»

First Order Logic with Domain Conditions

13 years 10 months ago

Download www.cs.ru.nl

This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undeﬁned terms. ...

Freek Wiedijk, Jan Zwanenburg

claim paper

Read More »

click to vote

AAAI
1996

135views Intelligent Agents» more AAAI 1996»

First-Order Conditional Logic Revisited

13 years 6 months ago

Download www.cs.huji.ac.il

Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...

Nir Friedman, Joseph Y. Halpern, Daphne Koller

claim paper

Read More »

click to vote

AAAI
1996

150views Intelligent Agents» more AAAI 1996»

Irrelevance and Conditioning in First-Order Probabilistic Logic

13 years 6 months ago

Download www.cs.cornell.edu

First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...

Daphne Koller, Joseph Y. Halpern

claim paper

Read More »

click to vote

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

13 years 7 months ago