Search Sciweavers | Sciweavers

1814 search results - page 48 / 363

» Extended First-Order Logic

click to vote

FLAIRS
1998

115views Artificial Intelligence» more FLAIRS 1998»

Incorporating Specificity in Extended Logic Programs for Belief Revision

15 years 2 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 »

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

15 years 7 months ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

Voted

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

15 years 6 months ago

Download ftp.cse.sc.edu

Chuming Chen, Manton M. Matthews

claim paper

Read More »

click to vote

ISMIS
2005
Springer

99views Artificial Intelligence» more ISMIS 2005»

Logical Data Independence Reconsidered (Extended Abstract)

15 years 6 months ago

Download www.mathcs.emory.edu

James J. Lu

claim paper

Read More »

Voted

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers