Sciweavers

6794 search results - page 1118 / 1359
» Semantics of Visual Languages
Sort
View
AAAI
2000
15 years 5 months ago
Total Knowledge
In this paper, we analyse a concept of total knowledge based on the idea that an agent's total knowledge is the strongest proposition the agent knows. We propose semantics fo...
Ian Pratt-Hartmann
DAGSTUHL
1998
15 years 5 months ago
On Active Deductive Databases: The Statelog Approach
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
Georg Lausen, Bertram Ludäscher, Wolfgang May
LMO
2000
15 years 5 months ago
A Metamodel for Concurrent, Object-based Programming
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
Jean-Guy Schneider, Markus Lumpe
ROOM
2000
15 years 5 months ago
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnel...
ACL
1993
15 years 5 months ago
The Effect of Establishing Coherence in Ellipsis and Anaphora Resolution
This paper presents a new model of anaphoric processing that utilizes the establishment of coherence relations between clauses in a discourse. We survey data that comprises a curr...
Andrew Kehler
« Prev « First page 1118 / 1359 Last » Next »