Sciweavers

79 search results - page 8 / 16
» The Representation of Defaults in Cyc
Sort
View
LPKR
1997
Springer
13 years 11 months ago
Knowledge Representation with Logic Programs
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
Gerhard Brewka, Jürgen Dix
ATAL
2005
Springer
14 years 1 months ago
Semantics of declarative goals in agent programming
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch....
IBERAMIA
2004
Springer
14 years 1 months ago
DIMEx100: A New Phonetic and Speech Corpus for Mexican Spanish
In this paper the phonetic and speech corpus DIMEx100 for Mexican Spanish is presented. We discuss both the linguistic motivation and the computational tools employed for the desig...
Luis Alberto Pineda, Luis Villaseñor Pineda...
COLING
1992
13 years 8 months ago
Term-Rewriting As A Basis For A Uniform Architecture In Machine Translation
In machine translation (MT) dierent levels of representation can be used to translate a source language sentence onto its target language equivalent. These levels have to be relat...
Wilhelm Weisweber
SCP
1998
163views more  SCP 1998»
13 years 7 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat