Search Sciweavers | Sciweavers

4595 search results - page 86 / 919

» Reasoning about Plans

118

click to vote

DAGSTUHL
1996

104views Software Engineering» more DAGSTUHL 1996»

Reasoning about Hierarchies of Online Program Specialization Systems

15 years 6 months ago

Download repository.readscheme.org

John Hatcliff, Robert Glück

claim paper

Read More »

130

click to vote

DAGSTUHL
1996

94views Software Engineering» more DAGSTUHL 1996»

Representing and Reasoning About Object Functionality: Towards an Integrated Approach

15 years 6 months ago

Download www.uwf.edu

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

claim paper

Read More »

110

Voted

IJCAI
1993

92views Artificial Intelligence» more IJCAI 1993»

Reasoning About Persistence: A Theory of Actions

15 years 6 months ago

Download dli.iiit.ac.in

Yan Zhang, Norman Y. Foo

claim paper

Read More »

118

click to vote

IJCAI
1989

68views Artificial Intelligence» more IJCAI 1989»

Using a Feature Algebra for Reasoning about Geometric Feature Interactions

15 years 5 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 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers