Search Sciweavers | Sciweavers

925 search results - page 27 / 185

» Probabilistic Belief Logics

click to vote

LPAR
2004
Springer

62views Automated Reasoning» more LPAR 2004»

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

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

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

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

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

15 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers