Concept Languages | ScienceGate

On the complexity of the instance checking problem in concept languages with existential quantification

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_47 ◽

1993 ◽

pp. 508-517 ◽

Cited By ~ 3

Author(s):

Andrea Schaerf

Keyword(s):

Existential Quantification ◽

Concept Languages

10.1007/978-3-030-63416-2_300269 ◽

2021 ◽

pp. 209-209

Keyword(s):

Concept Languages

Collective entities and relations in concept languages

Foundations of Knowledge Representation and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58107-3_2 ◽

1994 ◽

pp. 13-29

Author(s):

Jürgen Allgayer ◽

Enrico Franconi

Keyword(s):

Concept Languages

Reasoning with individuals in concept languages

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_49 ◽

1993 ◽

pp. 108-119 ◽

Cited By ~ 3

Author(s):

Andrea Schaerf

Keyword(s):

Concept Languages

Non-first-order features in concept languages

Lecture Notes in Computer Science - Topics in Artificial Intelligence ◽

10.1007/3-540-60437-5_9 ◽

1995 ◽

pp. 91-102 ◽

Cited By ~ 1

Author(s):

Francesco M. Donini ◽

Daniele Nardi ◽

Riccardo Rosati

Keyword(s):

First Order ◽

Concept Languages

Version-space induction with multiple concept languages

Trends in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-54712-6_232 ◽

1991 ◽

pp. 197-207

Author(s):

Claudio Carpineto

Keyword(s):

Version Space ◽

Concept Languages

A hybrid system with datalog and concept languages

Trends in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-54712-6_221 ◽

1991 ◽

pp. 88-97 ◽

Cited By ~ 18

Author(s):

Francesco M. Donini ◽

Maurizio Lenzerini ◽

Daniele Nardi ◽

Andrea Schaerf

Keyword(s):

Hybrid System ◽

Concept Languages

On the complexity of the instance checking problem in concept languages with existential quantification

Journal of Intelligent Information Systems ◽

10.1007/bf00962071 ◽

1993 ◽

Vol 2 (3) ◽

pp. 265-278 ◽

Cited By ~ 34

Author(s):

Andrea Schaerf

Keyword(s):

Existential Quantification ◽

Concept Languages

Tutorial on reasoning and representation with concept languages

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_141 ◽

1990 ◽

pp. 681-681

Author(s):

Jürgen Müller ◽

Franz Baader ◽

Bernhard Nebel ◽

Werner Nutt ◽

Gert Smolka

Keyword(s):

Concept Languages

Extensions of concept languages for a mechanical engineering application

GWAI-92: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0018999 ◽

2005 ◽

pp. 132-143 ◽

Cited By ~ 8

Author(s):

Franz Baader ◽

Philipp Hanschke

Keyword(s):

Mechanical Engineering ◽

Engineering Application ◽

Concept Languages