Search Sciweavers | Sciweavers

3773 search results - page 67 / 755

» Logical Reasoning

144

click to vote

JELIA
2004
Springer

115views Artificial Intelligence» more JELIA 2004»

Modelling Communicating Agents in Timed Reasoning Logics

15 years 11 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 »

131

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

16 years 10 days ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

133

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 11 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

138

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 11 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

148

click to vote

ILP
2004
Springer

98views Automated Reasoning» more ILP 2004»

Learning, Logic, and Probability: A Unified View

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers