Sciweavers

2585 search results - page 60 / 517

» Automating Coherent Logic

23

RR
2009
Springer

77views Automated Reasoning» more RR 2009»

Scalable Web Reasoning Using Logic Programming Techniques

14 years 4 months ago

Scalable Web Reasoning Using Logic Programming Techniques

Download www.aifb.uni-karlsruhe.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

22

TARK
2009
Springer

244views Automated Reasoning» more TARK 2009»

Agreement theorems in dynamic-epistemic logic

14 years 4 months ago

Agreement theorems in dynamic-epistemic logic

Download www.rug.nl

Cédric Dégremont, Olivier Roy

claim paper

Read More »

25

TARK
2009
Springer

208views Automated Reasoning» more TARK 2009»

Evidence elimination in multi-agent justification logic

14 years 4 months ago

Evidence elimination in multi-agent justification logic

Download bryan.renne.org

Bryan Renne

claim paper

Read More »

23

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

14 years 4 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

13

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

14 years 4 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

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