Search Sciweavers | Sciweavers

1143 search results - page 5 / 229

» Prospective Logic Agents

click to vote

AAAI
1994

105views Intelligent Agents» more AAAI 1994»

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

14 years 10 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Maurizio Lenzerini

claim paper

Read More »

Voted

JVA
2006
IEEE

213views Applied Computing» more JVA 2006»

Natural Deduction Calculus for Computation Tree Logic

15 years 3 months ago

Download logic.philos.msu.ru

We present a natural deduction calculus for the computation tree logic CTL deﬁned with the full set of classical and temporal logic operators. The system extends the natural ded...

Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin

claim paper

Read More »

click to vote

ATAL
2008
Springer

85views Intelligent Agents» more ATAL 2008»

Understanding how people design trading agents over time

14 years 11 months ago

Download www.umiacs.umd.edu

As computerized agents are becoming more and more common, e-commerce becomes a major candidate for incorporation of automated agents. Thus, it is vital to understand how people de...

Efrat Manisterski, Raz Lin, Sarit Kraus

claim paper

Read More »

click to vote

AAAI
2006

130views Intelligent Agents» more AAAI 2006»

Laughing with HAHAcronym, a Computational Humor System

14 years 11 months ago

Download www.aaai.org

Computational humor is a challenge with implications for many classical fields in AI such as, for example, natural language processing, intelligent human-computer interaction, rea...

Oliviero Stock, Carlo Strapparava

claim paper

Read More »

click to vote

AAAI
2006

157views Intelligent Agents» more AAAI 2006»

Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning

14 years 11 months ago

Download www.dbai.tuwien.ac.at

Several forms of reasoning in AI

Georg Gottlob, Reinhard Pichler, Fang Wei

claim paper