Sciweavers

3573 search results - page 63 / 715

» Reasoning about Codata

88

AAAI
1998

105views Intelligent Agents» more AAAI 1998»

Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations

15 years 4 months ago

Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations

Download www.aaai.org

Rattana Wetprasit, Abdul Sattar

claim paper

Read More »

97

UAI
2003

83views Artificial Intelligence» more UAI 2003»

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

15 years 4 months ago

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz

claim paper

Read More »

93

DAGSTUHL
1998

71views Software Engineering» more DAGSTUHL 1998»

Results on Reasoning about Updates in Transaction Logic

15 years 4 months ago

Results on Reasoning about Updates in Transaction Logic

Download www.cs.sunysb.edu

Anthony J. Bonner, Michael Kifer

claim paper

Read More »

64

WOA
2003

67views Intelligent Agents» more WOA 2003»

Reasoning about Interaction for Personalizing Web Service Fruition

15 years 4 months ago

Reasoning about Interaction for Personalizing Web Service Fruition

Download www.diee.unica.it

Matteo Baldoni, Cristina Baroglio, Alberto Martell...

claim paper

Read More »

95

KRDB
1998

74views Database» more KRDB 1998»

Reasoning About Web-Site Structure

15 years 4 months ago

Reasoning About Web-Site Structure

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 »

« Prev « First page 63 / 715 Last » Next »