Search Sciweavers | Sciweavers

3573 search results - page 2 / 715

» Reasoning about Codata

click to vote

DLOG
1996

112views Automated Reasoning» more DLOG 1996»

Asking Queries about Frames

13 years 7 months ago

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

13 years 11 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Yves Lespérance, Adria...

claim paper

Read More »

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

13 years 10 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

click to vote

LPAR
2001
Springer

110views Automated Reasoning» more LPAR 2001»

Reasoning about Evolving Nonmonotonic Knowledge Bases

13 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers