Results 1  10
of
15,570
On the Stable Model Semantics for Intensional Functions
 UNDER CONSIDERATION FOR PUBLICATION IN THEORY AND PRACTICE OF LOGIC PROGRAMMING
, 2013
"... Several extensions of the stable model semantics are available to describe “intensional” functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited for ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Several extensions of the stable model semantics are available to describe “intensional” functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited
Under consideration for publication in Theory and Practice of Logic Programming 1 On the Stable Model Semantics for Intensional Functions
, 2013
"... Several extensions of the stable model semantics are available to describe “intensional ” functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited fo ..."
Abstract
 Add to MetaCart
Several extensions of the stable model semantics are available to describe “intensional ” functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited
The Semantics of Intensionalization ⋆
"... Abstract. This paper introduces a procedure that takes a simple version of extensional semantics and generates from it an equivalent possibleworld semantics that is suitable for treating intensional phenomena in natural language. This process of intensionalization allows to treat intensional phenome ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. This paper introduces a procedure that takes a simple version of extensional semantics and generates from it an equivalent possibleworld semantics that is suitable for treating intensional phenomena in natural language. This process of intensionalization allows to treat intensional
1 Online appendix for the paper On the Stable Model Semantics for Intensional Functions published in Theory and Practice of Logic Programming
"... We say that a formula F is in Clark normal form (relative to a list c of intensional constants) if it is a conjunction of sentences of the form ∀x(G → p(x)) (A1) and ∀xy(G → f(x)=y) one for each intensional predicate p and each intensional function f, where x is a list of distinct object variables, ..."
Abstract
 Add to MetaCart
We say that a formula F is in Clark normal form (relative to a list c of intensional constants) if it is a conjunction of sentences of the form ∀x(G → p(x)) (A1) and ∀xy(G → f(x)=y) one for each intensional predicate p and each intensional function f, where x is a list of distinct object variables
Perspectives on Program Analysis
, 1996
"... eing analysed. On the negative side, the semantic correctness of the analysis is seldom established and therefore there is often no formal justification for the program transformations for which the information is used. The semantics based approach [1; 5] is often based on domain theory in the form ..."
Abstract

Cited by 678 (35 self)
 Add to MetaCart
eing analysed. On the negative side, the semantic correctness of the analysis is seldom established and therefore there is often no formal justification for the program transformations for which the information is used. The semantics based approach [1; 5] is often based on domain theory
Intensional Semantics
"... The notes for this course have been evolving for years now, starting with some old notes from the early 1990s by Angelika Kratzer, Irene Heim, and myself, which have since been modified and expanded every year by Irene or myself. Because this version of the notes has not been seen by my coauthor, I ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
author, I alone am responsible for any defects. – Kai von Fintel, Spring 2010 This is a work in progress. We may eventually publish these materials as a followup volume to Heim & Kratzer’s Semantics in Generative Grammar, Blackwell 1998. In the meantime, we encourage the use of these notes in courses
Toward a model of text comprehension and production
 Psychological Review
, 1978
"... The semantic structure of texts can be described both at the local microlevel and at a more global macrolevel. A model for text comprehension based on this notion accounts for the formation of a coherent semantic text base in terms of a cyclical process constrained by limitations of working memory. ..."
Abstract

Cited by 540 (12 self)
 Add to MetaCart
The semantic structure of texts can be described both at the local microlevel and at a more global macrolevel. A model for text comprehension based on this notion accounts for the formation of a coherent semantic text base in terms of a cyclical process constrained by limitations of working memory
Towards a Standard Upper Ontology
, 2001
"... The Suggested Upper Merged Ontology (SUMO) is an upper level ontology that has been proposed as a starter document for The Standard Upper Ontology Working Group, an IEEEsanctioned working group of collaborators from the fields of engineering, philosophy, and information science. The SUMO provides d ..."
Abstract

Cited by 576 (21 self)
 Add to MetaCart
and the relations between them. Categories & Descriptors  I.2.4 [Knowledge Representation Formalisms and Methods]: Artificial Intelligence  representations (procedural and rulebased), semantic networks. General Terms  Documentation, Languages, Standardization, Theory. Keywords  Ontologies
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
, 1990
"... Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns of ..."
Abstract

Cited by 624 (14 self)
 Add to MetaCart
of nonmonotonic reasoning and try to isolate properties that could help us map the field of nonmonotonic reasoning by reference to positive properties. We concentrate on a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13]. Both prooftheoretic and semantic points
Formal Ontology and Information Systems
, 1998
"... Research on ontology is becoming increasingly widespread in the computer science community, and its importance is being recognized in a multiplicity of research fields and application areas, including knowledge engineering, database design and integration, information retrieval and extraction. We sh ..."
Abstract

Cited by 878 (11 self)
 Add to MetaCart
Research on ontology is becoming increasingly widespread in the computer science community, and its importance is being recognized in a multiplicity of research fields and application areas, including knowledge engineering, database design and integration, information retrieval and extraction. We shall use the generic term information systems, in its broadest sense, to collectively refer to these application perspectives. We argue in this paper that socalled ontologies present their own methodological and architectural peculiarities: on the methodological side, their main peculiarity is the adoption of a highly interdisciplinary approach, while on the architectural side the most interesting aspect is the centrality of the role they can play in an information system, leading to the perspective of ontologydriven information systems.
Results 1  10
of
15,570