Search Sciweavers | Sciweavers

3891 search results - page 136 / 779

» A logic for strategic reasoning

176

click to vote

AMAI
2008
Springer

111views Artificial Intelligence» more AMAI 2008»

Default logic generalized and simplified

15 years 6 months ago

Download isaim2008.unl.edu

We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...

Alexander Bochman

claim paper

Read More »

258

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 7 months ago

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

133

click to vote

TPHOL
2009
IEEE

257views Automated Reasoning» more TPHOL 2009»

Formalizing the Logic-Automaton Connection

16 years 1 months ago

Download www4.in.tum.de

Stefan Berghofer, Markus Reiter

claim paper

Read More »

117

click to vote

CSL
2009
Springer

109views Automated Reasoning» more CSL 2009»

Functional Interpretations of Intuitionistic Linear Logic

16 years 29 days ago

Download www.eecs.qmul.ac.uk

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

119

click to vote

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

16 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers