Search Sciweavers | Sciweavers

925 search results - page 27 / 185

» Probabilistic and Logical Beliefs

click to vote

LPAR
2004
Springer

62views Automated Reasoning» more LPAR 2004»

Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals

14 years 1 months ago

Download www.cse.iitd.ernet.in

M. Jamshid Bagherzadeh, S. Arun-Kumar

claim paper

Read More »

click to vote

PRIMA
2004
Springer

88views Intelligent Agents» more PRIMA 2004»

A Combined System for Update Logic and Belief Revision

14 years 1 months ago

Download www.illc.uva.nl

Guillaume Aucher

claim paper

Read More »

click to vote

ICTAI
1993
IEEE

85views Artificial Intelligence» more ICTAI 1993»

The Implementation of a First-Order Logic AGM Belief Revision System

14 years 18 hour ago

Download www.jos.org.cn

Simon Dixon, Wayne Wobcke

claim paper

Read More »

click to vote

JELIA
1994
Springer

102views Artificial Intelligence» more JELIA 1994»

Autoepistemic Logic of Minimal Beliefs

13 years 11 months ago

Download www.aaai.org

Teodor C. Przymusinski

claim paper

Read More »

click to vote

AAAI
1992

130views Intelligent Agents» more AAAI 1992»

A Belief-Function Logic

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers