Search Sciweavers | Sciweavers

3776 search results - page 34 / 756

» Partition-Based Logical Reasoning

click to vote

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

14 years 29 days ago

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

click to vote

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

14 years 29 days ago

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

14 years 29 days ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

click to vote

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

14 years 29 days ago

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

click to vote

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

14 years 20 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers