Search Sciweavers | Sciweavers

1814 search results - page 48 / 363

» Extended First-Order Logic

133

click to vote

FLAIRS
1998

115views Artificial Intelligence» more FLAIRS 1998»

Incorporating Specificity in Extended Logic Programs for Belief Revision

15 years 7 months ago

Download www.aaai.org

In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...

Berilhes Borges Garcia, José Gabriel Pereir...

claim paper

Read More »

128

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

16 years 3 days ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

119

click to vote

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

16 years 2 days ago

Download ftp.cse.sc.edu

Chuming Chen, Manton M. Matthews

claim paper

Read More »

137

click to vote

ISMIS
2005
Springer

99views Artificial Intelligence» more ISMIS 2005»

Logical Data Independence Reconsidered (Extended Abstract)

15 years 11 months ago

Download www.mathcs.emory.edu

James J. Lu

claim paper

Read More »

128

click to vote

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers