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

15 years 4 months ago

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

121

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

15 years 7 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

101

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 7 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

116

click to vote

LPAR
2001
Springer

110views Automated Reasoning» more LPAR 2001»

Reasoning about Evolving Nonmonotonic Knowledge Bases

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers