Search Sciweavers | Sciweavers

120 search results - page 1 / 24

» First Order Logic with Domain Conditions

Voted

TPHOL
2003
IEEE

100views Automated Reasoning» more TPHOL 2003»

First Order Logic with Domain Conditions

15 years 4 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

15 years 3 days 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 »

125

click to vote

AAAI
1996

150views Intelligent Agents» more AAAI 1996»

Irrelevance and Conditioning in First-Order Probabilistic Logic

15 years 3 days 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

15 years 1 months ago