Chitta Baral

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Irreflexive

Update

Belief Revision

Inaccurate

Likelihood

2016

15 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 proceeding › Conference 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 proceeding › Conference contribution

Semantics

18 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Databases

Genes

Proteins

Protein Interaction Maps

Pharmaceutical Preparations

91 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Answer Sets

Knowledge Acquisition

Knowledge acquisition

Prolog

Knowledge representation