If you made any changes in Pure, your changes will be visible here soon.

Research Output 1990 2019

Filter
Conference contribution
2019

Integrating knowledge and reasoning in image understanding

Aditya, S., Yang, Y. & Baral, C., Jan 1 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 6252-6259 8 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Image understanding
Object recognition
Semantics
Neural networks
Deep learning
2 Citations (Scopus)

Spatial knowledge distillation to aid visual reasoning

Aditya, S., Saha, R., Yang, Y. & Baral, C., Mar 4 2019, Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019. Institute of Electrical and Electronics Engineers Inc., p. 227-235 9 p. 8658731. (Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distillation
Masks
Students
Neural networks
2018
1 Citation (Scopus)

Combining knowledge and reasoning through probabilistic soft logic for image puzzle solving

Aditya, S., Yang, Y., Baral, C. & Aloimonos, Y., Jan 1 2018, 34th Conference on Uncertainty in Artificial Intelligence 2018, UAI 2018. Globerson, A., Globerson, A. & Silva, R. (eds.). Association For Uncertainty in Artificial Intelligence (AUAI), Vol. 1. p. 238-248 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Object detection
Uncertainty
5 Citations (Scopus)

Explicit reasoning over end-to-end neural architectures for visual question answering

Aditya, S., Yang, Y. & Baral, C., Jan 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI press, p. 629-637 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Engines
Neural networks
Processing
2017

Reactive maintenance policies over equalized states in dynamic environments

Saribatur, Z. G., Baral, C. & Eiter, T., 2017, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Proceedings. Springer Verlag, Vol. 10423 LNAI. p. 709-723 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10423 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maintenance Policy
Dynamic Environment
Maintenance
Clustering
State Space

Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives

Baral, C. & Son, T. C., Jan 1 2017, PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Springer Verlag, Vol. 10621 LNAI. p. 53-70 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10621 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Irreflexive
Update
Belief Revision
Inaccurate
Likelihood
2016
16 Citations (Scopus)

Addressing a question answering challenge by combining statistical methods with inductive rule learning and reasoning

Mitra, A. & Baral, C., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 2779-2785 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Intelligent agents
Statistical methods
Inductive logic programming (ILP)
Knowledge representation
Processing
2 Citations (Scopus)

Automatic extraction of events-based conditional commonsense knowledge

Sharma, A. & Baral, C., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, Vol. WS-16-01 - WS-16-15. p. 527-531 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
19 Citations (Scopus)

Learning to use formulas to solve simple arithmetic problems

Mitra, A. & Baral, C., 2016, 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers. Association for Computational Linguistics (ACL), Vol. 4. p. 2144-2153 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

learning
primary school
language
Language Understanding
Natural Language

Plan failure analysis: Formalization and application in interactive planning through natural language communication

Baral, C., Son, T. C., Gelfond, M. & Mitra, A., 2016, Princiles and Practice of Multi-Agent Systems - 19th International Conference, PRIMA 2016, Proceedings. Springer Verlag, Vol. 9862. p. 376-386 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9862).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Failure Analysis
Formalization
Natural Language
Failure analysis
Robot
2015
4 Citations (Scopus)

An approach to solve winograd schema challenge using automatically extracted commonsense knowledge

Sharma, A., Vo, N. H., Gaur, S. & Baral, C., 2015, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, Vol. SS-15-04. p. 141-144 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cancer pathways: Automatic extraction, representation, and reasoning in the 'big data' era

Gonzalez, G., Baral, C., Kiefer, J., Kim, S. & Ye, J., 2015, 20th Pacific Symposium on Biocomputing, PSB 2015. Stanford University, p. 80-83 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gene expression
Brain
Throughput
Learning systems
Tumors
4 Citations (Scopus)

Learning to automatically solve logic grid puzzles

Mitra, A. & Baral, C., 2015, Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics (ACL), p. 1023-1033 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
Learning systems

Multi-agent action modeling through action sequences and perspective fluents

Baral, C., Gelfond, G., Pontelli, E. & Cao Son, I., 2015, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, Vol. SS-15-04. p. 25-31 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Planning

Recognizing social constructs from textual conversation

Aditya, S., Baral, C., Vo, N. H., Lee, J., Ye, J., Naung, Z., Lumpkin, B., Hastings, J., Scherl, R., Sweet, D. M. & Inclezan, D., 2015, NAACL HLT 2015 - 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1293-1298 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Machine oriented languages
Statistical methods
conversation
leadership
politeness
9 Citations (Scopus)

The NL2KR platform for building natural language translation systems

Vo, N. H., Mitra, A. & Baral, C., 2015, ACL-IJCNLP 2015 - 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), Vol. 1. p. 899-908 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal languages
Glossaries
Graphical user interfaces
Learning algorithms
18 Citations (Scopus)

Towards addressing the winograd schema challenge - Building and using a semantic parser and a knowledge hunting module

Sharma, A., Vo, N. H., Aditya, S. & Baral, C., 2015, IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2015-January. p. 1319-1325 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
1 Citation (Scopus)

Translating simple legal text to formal representations

Gaur, S., Vo, N. H., Kashihara, K. & Baral, C., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9067. p. 259-273 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9067).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reasoning
Text
Framework
6 Citations (Scopus)

Visual commonsense for scene understanding using perception, semantic parsing and reasoning

Aditya, S., Yang, Y., Baral, C., Fermuller, C. & Aloimonos, Y., 2015, Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, Vol. SS-15-04. p. 9-16 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
Linguistics
Semantics
Processing
1 Citation (Scopus)

“Add another blue stack of the same height!”: ASP based planning and plan failure analysis

Baral, C. & Son, T. C., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9345. p. 127-133 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9345).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Failure Analysis
Failure analysis
Planning
Robots
Natural Language
2014
1 Citation (Scopus)

Pathway specification and comparative queries: A high level language with petri net semantics

Anwar, S. & Baral, C., 2014, Proceedings of the National Conference on Artificial Intelligence. AI Access Foundation, Vol. 2. p. 981-988 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

High level languages
Petri nets
Semantics
Specifications
Query languages
2013
5 Citations (Scopus)

Encoding higher level extensions of Petri nets in answer set programming

Anwar, S., Baral, C. & Inoue, K., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8148 LNAI. p. 116-121 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Answer Set Programming
Question Answering
Biological systems
Petri nets
Biological Systems

Event-object reasoning with curated knowledge bases: Deriving missing information

Baral, C. & Vo, N. H., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8148 LNAI. p. 161-167 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge Base
Raw materials
Reasoning
Object
3 Citations (Scopus)

Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: The action language mAL

Baral, C., Gelfond, G., Pontelli, E. & Son, T. C., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8143 LNAI. p. 290-306 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8143 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

State Constraints
Reasoning
Reasoning about Actions
Epistemic Logic
Dynamic Logic

The NL2KR system

Baral, C., Dzifcak, J., Kumbhare, K. & Vo, N. H., 2013, CEUR Workshop Proceedings. CEUR-WS, Vol. 1044. p. 37-47 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
2012
6 Citations (Scopus)

Answering why and how questions with respect to a frame-based knowledge base: A preliminary report

Baral, C., Vo, N. H. & Liang, S., 2012, Leibniz International Proceedings in Informatics, LIPIcs. Vol. 17. p. 26-36 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge Base
Students
Question Answering System
Answer Set Programming
Biology
5 Citations (Scopus)

From knowledge represented in frame-based languages to declarative representation and reasoning via ASP

Baral, C. & Liang, S., 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. p. 413-423 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cloning
Knowledge representation
8 Citations (Scopus)

Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation

Baral, C. & Dzifcak, J., 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. p. 573-577 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ontology
2011

Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages

Baral, C., Jan 1 2011, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. Springer Verlag, Vol. 6645 LNAI. 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6645 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
Knowledge Representation
Natural Language
Calculus
Functional programming
1 Citation (Scopus)

Logic programming and uncertainty

Baral, C., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6929 LNAI. p. 22-37 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6929 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic programming
Logic Programming
Uncertainty
Computer programming languages
Programming Languages

Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation

Baral, C. & Dzifcak, J., 2011, AAAI Fall Symposium - Technical Report. Vol. FS-11-01. p. 18-25 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ontology
10 Citations (Scopus)

Using inverse λ and generalization to translate English to formal languages

Baral, C., Dzifcak, J., Gonzalez, M. A. & Zhou, J., Jan 1 2011, Proceedings of the 9th International Conference on Computational Semantics, IWCS 2011. Association for Computational Linguistics, ACL Anthology, p. 35-44 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal languages
Semantics
Query languages
Knowledge representation
Syntactics
2010

GenerIE: Information extraction using database queries

Tari, L., Tu, P. H., Hakenberg, J., Chen, Y., Son, T. C., Gonzalez, G. & Baral, C., 2010, Proceedings - International Conference on Data Engineering. p. 1121-1124 4 p. 5447773

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Text processing
Demonstrations
Pipelines
Processing
Design optimization
1 Citation (Scopus)

Reasoning about actions and change: From single agent actions to multi-agent actions (extended abstract)

Baral, C., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010. p. 3-5 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reasoning about Actions
Epistemic Logic
Dynamic Logic
Virtual Worlds
Robot

Reasoning about multi-agent domains using action language C: A preliminary study

Baral, C., Son, T. C. & Pontelli, E., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6214 LNAI. p. 46-63 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6214 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reasoning
Modeling
Sufficient
Language
20 Citations (Scopus)

Synthesis of pharmacokinetic pathways through knowledge acquisition and automated reasoning

Tari, L., Anwar, S., Liang, S., Hakenberg, J. & Baral, C., 2010, Pacific Symposium on Biocomputing 2010, PSB 2010. p. 465-476 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pharmacokinetics
Knowledge Bases
Knowledge acquisition
Hand
18 Citations (Scopus)

Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

Baral, C., Gelfond, G., Son, T. C. & Pontelli, E., 2010, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 259-266 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Planning
2009
2 Citations (Scopus)

Modeling multi-agent domains in an action languages: An empirical study using

Baral, C., Son, T. C. & Pontelli, E., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5753 LNAI. p. 409-415 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Empirical Study
Modeling
Reasoning about Actions
Language
Relevance
12 Citations (Scopus)

Querying parse tree database of medline text to synthesize user-specific biomolecular networks

Tari, L., Hakenberg, J., Gonzalez, G. & Baral, C., 2009, Pacific Symposium on Biocomputing 2009, PSB 2009. p. 87-98 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Databases
Genes
Proteins
Protein Interaction Maps
Pharmaceutical Preparations
90 Citations (Scopus)

What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution

Dzifcak, J., Scheutz, M., Baral, C. & Schermerhorn, P., 2009, Proceedings - IEEE International Conference on Robotics and Automation. p. 4163-4168 6 p. 5152776

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robots
Robotics
2008
1 Citation (Scopus)

Extracting protein-protein interactions from MEDLINE using syntactic roles

Ahmed, S. T., Davulcu, H. & Baral, C., 2008, Proceedings - IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2008. p. 473-476 4 p. 4684942

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Syntactics
MEDLINE
Research Personnel
Proteins
Information Storage and Retrieval
3 Citations (Scopus)

Non-monotonic temporal logics that facilitate elaboration tolerant revision of goals

Baral, C. & Zhao, J., 2008, Proceedings of the National Conference on Artificial Intelligence. Vol. 1. p. 406-411 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Specifications

State-based regression with sensing and knowledge

Scherl, R., Tran, C. S. & Baral, C., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5351 LNAI. p. 345-357 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5351 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sensing
Regression
Planning
Propositional Logic
Soundness
11 Citations (Scopus)

Using answer set programming and lambda calculus to characterize natural language sentences with normatives and exceptions

Baral, C., Dzifcak, J. & Son, T. C., 2008, Proceedings of the National Conference on Artificial Intelligence. Vol. 2. p. 818-823 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge representation
Knowledge acquisition
Semantics
Chemical analysis
1 Citation (Scopus)

Using answer set programming for knowledge representation and reasoning: Future directions

Baral, C., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5366 LNCS. p. 69-70 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge Representation and Reasoning
Answer Set Programming
Knowledge representation
Knowledge Representation
Intelligent systems
2007

ASP - PROLOG: Composition and interoperation of rules

Baral, C., Pontelli, E. & Son, T. C., 2007, CEUR Workshop Proceedings. Vol. 287. p. 1-2 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Chemical analysis
40 Citations (Scopus)

Mining gene-disease relationships from biomedical literature: Weighting proteinprotein interactions and connectivity measures

Gonzalez, G., Uribe, J. C., Tari, L., Brophy, C. & Baral, C., 2007, Pacific Symposium on Biocomputing 2007, PSB 2007. p. 28-39 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Genes
Atherosclerosis
Proteins
Natural Language Processing
Databases
23 Citations (Scopus)

Non-monotonic temporal logics for goal specification

Baral, C. & Zhao, J., 2007, IJCAI International Joint Conference on Artificial Intelligence. p. 236-242 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Specifications

Passage relevancy through semantic relatedness

Tari, L., Tu, P. H., Lumpkin, B., Leaman, R., Gonzalez, G. & Baral, C., 2007, NIST Special Publication.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Genomics
2 Citations (Scopus)

Towards overcoming the knowledge acquisition bottleneck in answer set prolog applications: Embracing natural language inputs

Baral, C., Dzifcak, J. & Tari, L., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4670 LNCS. p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Answer Sets
Knowledge Acquisition
Knowledge acquisition
Prolog
Knowledge representation