Search Sciweavers | Sciweavers

5243 search results - page 74 / 1049

» Reasoning About Strategies

Voted

DAGSTUHL
1998

71views Software Engineering» more DAGSTUHL 1998»

Results on Reasoning about Updates in Transaction Logic

15 years 1 months ago

Download www.cs.sunysb.edu

Anthony J. Bonner, Michael Kifer

claim paper

Read More »

Voted

WOA
2003

67views Intelligent Agents» more WOA 2003»

Reasoning about Interaction for Personalizing Web Service Fruition

15 years 1 months ago

Download www.diee.unica.it

Matteo Baldoni, Cristina Baroglio, Alberto Martell...

claim paper

Read More »

click to vote

KRDB
1998

74views Database» more KRDB 1998»

Reasoning About Web-Site Structure

15 years 1 months ago

Download www.aaai.org

Buildinglarge Websites is similar in manywaysto building knowledgeand database systems. In particular, byprovidinga declarative,logical viewof a Website's data andstructure, ...

Mary F. Fernandez, Daniela Florescu, Alon Y. Levy,...

claim paper

Read More »

123

click to vote

IJCAI
1997

179views Artificial Intelligence» more IJCAI 1997»

Compiling Reasoning with and about Preferences into Default Logic

15 years 1 months ago

Download dli.iiit.ac.in

We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...

James P. Delgrande, Torsten Schaub

claim paper

Read More »

click to vote

IJCAI
1997

73views Artificial Intelligence» more IJCAI 1997»

Reasoning about Plans

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers