Search Sciweavers | Sciweavers

3573 search results - page 65 / 715

» Reasoning about Codata

click to vote

DAGSTUHL
1996

104views Software Engineering» more DAGSTUHL 1996»

Reasoning about Hierarchies of Online Program Specialization Systems

15 years 4 months ago

Download repository.readscheme.org

John Hatcliff, Robert Glück

claim paper

Read More »

113

click to vote

DAGSTUHL
1996

94views Software Engineering» more DAGSTUHL 1996»

Representing and Reasoning About Object Functionality: Towards an Integrated Approach

15 years 4 months ago

Download www.uwf.edu

Melanie A. Sutton, Louise Stark, Kevin W. Bowyer

claim paper

Read More »

click to vote

IJCAI
1993

92views Artificial Intelligence» more IJCAI 1993»

Reasoning About Persistence: A Theory of Actions

15 years 4 months ago

Download dli.iiit.ac.in

Yan Zhang, Norman Y. Foo

claim paper

Read More »

103

click to vote

IJCAI
1989

68views Artificial Intelligence» more IJCAI 1989»

Using a Feature Algebra for Reasoning about Geometric Feature Interactions

15 years 4 months ago

Download dli.iiit.ac.in

Raghu Karinthi, Dana S. Nau

claim paper

Read More »

click to vote

ATAL
2010
Springer

104views Intelligent Agents» more ATAL 2010»

Reasoning about agents and protocols via goals and commitments

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers