Search Sciweavers | Sciweavers

2303 search results - page 76 / 461

» On the logic of argumentation theory

185

click to vote

FROCOS
2009
Springer

139views Control Systems» more FROCOS 2009»

Combinations of Theories for Decidable Fragments of First-Order Logic

16 years 26 days ago

Download disi.unitn.it

Pascal Fontaine

claim paper

Read More »

157

click to vote

DEXAW
2008
IEEE

111views Database» more DEXAW 2008»

A Formalization of Logical Imaging for Information Retrieval Using Quantum Theory

16 years 23 days ago

Download www.uni-weimar.de

Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen

claim paper

Read More »

122

click to vote

ATAL
2007
Springer

82views Intelligent Agents» more ATAL 2007»

Towards a logical theory of coordination and joint ability

16 years 14 days ago

Download www.aamas-conference.org

Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...

claim paper

Read More »

205

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

16 years 8 days ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

135

click to vote

CAV
2005
Springer

89views Hardware» more CAV 2005»

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers