Search Sciweavers | Sciweavers

3658 search results - page 215 / 732

» The logic of proofs, semantically

160

click to vote

DEXA
2010
Springer

170views Database» more DEXA 2010»

Combining Fuzzy Logic and Semantic Web to Enable Situation-Awareness in Service Recommendation

15 years 6 months ago

Download gaia.isti.cnr.it

Alessandro Ciaramella, Mario G. C. A. Cimino, Fran...

claim paper

Read More »

110

click to vote

AI
2008
Springer

84views Artificial Intelligence» more AI 2008»

Active logic semantics for a single agent in a static world

15 years 6 months ago

Download www.alexeng.edu.eg

Michael L. Anderson, Walid E. Gomaa, John Grant, D...

claim paper

Read More »

133

click to vote

AMAI
2008
Springer

72views Artificial Intelligence» more AMAI 2008»

A non-preferential semantics of non-monotonic modal logic

15 years 6 months ago

Download isaim2008.unl.edu

Michael Kaminski

claim paper

Read More »

150

click to vote

JANCL
2008

60views more JANCL 2008»

Possible-translations semantics for some weak classically-based paraconsistent logics

15 years 6 months ago

Download www.math.ist.utl.pt

J. Marcos

claim paper

Read More »

click to vote

ENTCS
2007

100views more ENTCS 2007»

Concurrent Logic and Automata Combined: A Semantics for Components

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers