Knowledge representation and reasoning in the humanities and social sciences: A conference report.
Mario BorilloPublished in: Comput. Humanit. (1980)
Keyphrases
- social sciences
- knowledge representation and reasoning
- knowledge representation
- artificial intelligence
- computer science
- logic programming
- reasoning systems
- description logics
- information science
- structured knowledge
- incomplete information
- digital government
- automated reasoning
- selected papers
- logic programs
- advances in artificial intelligence
- conference on artificial intelligence
- diverse fields
- physical sciences
- international conference
- criminal justice
- disjunctive logic programming
- data mining
- theorem prover
- general purpose
- update semantics