A concurrent object-oriented knowledge representation language Orient84/K: its features and implementation

1986 ◽  
Author(s):  
Yutaka Ishikawa ◽  
Mario Tokoro
Keyword(s):  
Knowledge Representation ◽  
Object Oriented ◽  
Knowledge Representation Language ◽  
Representation Language

scholarly journals NKRL, a knowledge representation tool for encoding the ‘meaning’ of complex narrative texts

1997 ◽  
Vol 3 (2) ◽  
pp. 231-253 ◽  
Author(s):  
GIAN PIERO ZARRI
Keyword(s):  
Knowledge Representation ◽  
Data Structures ◽  
Semantic Content ◽  
Narrative Texts ◽  
Knowledge Representation Language ◽  
Representation Language ◽  
Original Narrative

In this paper, we describe NKRL (Narrative Knowledge Representation Language), a language designed for representing, in a standardized way, the semantic content (the ‘meaning’) of complex narrative texts. After having introduced informally the four ‘components’ (specialized sub-languages) of NKRL, we will describe (some of) the data structures proper to each of them, trying to show that the NKRL coding retains the main informational elements of the original narrative expressions. We will then focus on an important subset of NKRL, the so-called AECS sub-language, showing in particular that the operators of this sub-language can be used to represent some sorts of ‘plural’ expressions.

scholarly journals Vicious Circle Principle and Logic Programs with Aggregates

2014 ◽  
Vol 14 (4-5) ◽  
pp. 587-601 ◽  
Author(s):  
MICHAEL GELFOND ◽  
YUANLIN ZHANG
Keyword(s):  
Knowledge Representation ◽  
Vicious Circle ◽  
Logic Programs ◽  
Vicious Circle Principle ◽  
Knowledge Representation Language ◽  
Representation Language ◽  
Answer Sets ◽  
Mathematical Semantics

AbstractThe paper presents a knowledge representation language $\mathcal{A}log$ which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of $\mathcal{A}log$, an algorithm for computing its answer sets, and comparison with other approaches.

scholarly journals The Seventh Answer Set Programming Competition: Design and Results

2019 ◽  
Vol 20 (2) ◽  
pp. 176-204 ◽  
Author(s):  
MARTIN GEBSER ◽  
MARCO MARATEA ◽  
FRANCESCO RICCA
Keyword(s):  
Knowledge Representation ◽  
Logic Programming ◽  
State Of The Art ◽  
Answer Set Programming ◽  
The State ◽  
International Conference ◽  
Knowledge Representation Language ◽  
Representation Language ◽  
The University ◽  
Answer Set

AbstractAnswer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).

Sign in / Sign up

Export Citation Format

Share Document