Search Sciweavers | Sciweavers

3773 search results - page 67 / 755

» Logical Reasoning

107

click to vote

JELIA
2004
Springer

115views Artificial Intelligence» more JELIA 2004»

Modelling Communicating Agents in Timed Reasoning Logics

15 years 8 months ago

Download www.cs.nott.ac.uk

Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...

Natasha Alechina, Brian Logan, Mark Whitsey

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 9 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

104

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 8 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

109

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 8 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

119

click to vote

ILP
2004
Springer

98views Automated Reasoning» more ILP 2004»

Learning, Logic, and Probability: A Unified View

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers