Sciweavers

3970 search results - page 149 / 794

» A Logic For Causal Reasoning

53

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

14 years 8 months ago

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

22

TPHOL
2009
IEEE

257views Automated Reasoning» more TPHOL 2009»

Formalizing the Logic-Automaton Connection

14 years 2 months ago

Formalizing the Logic-Automaton Connection

Download www4.in.tum.de

Stefan Berghofer, Markus Reiter

claim paper

Read More »

21

CSL
2009
Springer

109views Automated Reasoning» more CSL 2009»

Functional Interpretations of Intuitionistic Linear Logic

14 years 2 months ago

Functional Interpretations of Intuitionistic Linear Logic

Download www.eecs.qmul.ac.uk

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

20

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

14 years 2 months ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

18

TARK
2009
Springer

244views Automated Reasoning» more TARK 2009»

Agreement theorems in dynamic-epistemic logic

14 years 2 months ago

Agreement theorems in dynamic-epistemic logic

Download www.rug.nl

Cédric Dégremont, Olivier Roy

claim paper

Read More »

« Prev « First page 149 / 794 Last » Next »