1027 search results - page 47 / 206 » Representing and Reasoning with Operational Semantics |
122
Voted
ECAI
1990
Springer
15 years 4 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
99
Voted
STOC
2010
ACM
15 years 5 months ago
2010
ACM
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
96
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
106
Voted
CSFW
2003
IEEE
15 years 5 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
105
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...