Sciweavers

2585 search results - page 59 / 517

» Automating Coherent Logic

65

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

14 years 10 months ago

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

25

TPHOL
2009
IEEE

257views Automated Reasoning» more TPHOL 2009»

Formalizing the Logic-Automaton Connection

14 years 4 months ago

Formalizing the Logic-Automaton Connection

Download www4.in.tum.de

Stefan Berghofer, Markus Reiter

claim paper

Read More »

22

CSL
2009
Springer

109views Automated Reasoning» more CSL 2009»

Functional Interpretations of Intuitionistic Linear Logic

14 years 4 months ago

Functional Interpretations of Intuitionistic Linear Logic

Download www.eecs.qmul.ac.uk

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

24

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

14 years 4 months ago

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

21

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

14 years 4 months ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

« Prev « First page 59 / 517 Last » Next »