Search Sciweavers | Sciweavers

1143 search results - page 4 / 229

» Prospective Logic Agents

Voted

FLAIRS
1998

124views Artificial Intelligence» more FLAIRS 1998»

Delusions of Omniscience

14 years 10 months ago

Download www.aaai.org

Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...

Roderic A. Girle

claim paper

Read More »

click to vote

AAAI
2007

67views Intelligent Agents» more AAAI 2007»

The Modal Logic S4F, the Default Logic, and the Logic Here-and-There

14 years 11 months ago

Download www.cs.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

Voted

TIME
2007
IEEE

173views Automated Reasoning» more TIME 2007»

Automated Natural Deduction for Propositional Linear-Time Temporal Logic

15 years 3 months ago

Download logic.philos.msu.ru

We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...

Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin

claim paper

Read More »

click to vote

INTENV
2010

149views Emerging Technology» more INTENV 2010»

Proactive Intention Recognition for Home Ambient Intelligence

14 years 4 months ago

Download centria.di.fct.unl.pt

We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...

Han The Anh, Luís Moniz Pereira

claim paper

Read More »

click to vote

IAT
2008
IEEE

144views Intelligent Agents» more IAT 2008»

Combining Fuzzy Description Logics and Fuzzy Logic Programs

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers