3793 search results - page 156 / 759 » Expressive Description Logics |
143
click to vote
AAAI
2012
13 years 7 months ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciļ...
133
Voted
CAAP
1990
15 years 8 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girardās linear logic as a speciļ¬cation language for parallel processes. To this end we propose an interpreta...
167
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
135
Voted
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A new class of languages of inļ¬nite words is introduced, called the maxregular languages, extending the class of Ļ-regular languages. The class has two equivalent desc...
119
click to vote
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...