Search Sciweavers | Sciweavers

3891 search results - page 46 / 779

» A logic for strategic reasoning

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

13 years 11 months 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

13 years 11 months 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

13 years 11 months ago

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

click to vote

CSL
2006
Springer

90views Automated Reasoning» more CSL 2006»

Hoare Logic in the Abstract

13 years 11 months ago

Download www.eecs.qmul.ac.uk

Ursula Martin, Erik A. Mathiesen, Paulo Oliva

claim paper

Read More »

click to vote

DEON
2006
Springer

95views Automated Reasoning» more DEON 2006»

Roles, Counts-as and Deontic and Action Logics

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers