ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Download Full-text
Related Documents
Cited By
References
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
Download Full-text
Concept Languages
10.1007/978-3-030-63416-2_300269
◽
2021
◽
pp. 209-209
Keyword(s):
Concept Languages
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
Concept Languages
Encyclopedia of Social Network Analysis and Mining
◽
10.1007/978-1-4939-7131-2_100191
◽
2018
◽
pp. 408-408
Keyword(s):
Concept Languages
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close