Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
An analysis of first-order logics of probability
Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
New Generation Computing - Selected papers from the international workshop on algorithmic learning theory,1990
Communications of the ACM
Communications of the ACM
Reasoning About Data Provided By Federated Deductive Databases
Journal of Intelligent Information Systems
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL
Machine Learning - Special issue on applications of machine learning and the knowledge discovery process
A general formal framework for schema transformation
Data & Knowledge Engineering - Special issue on ER '97
Foundations of statistical natural language processing
Foundations of statistical natural language processing
Scientific knowledge discovery using inductive logic programming
Communications of the ACM
Probabilistic Datalog: implementing logical information retrieval for advanced applications
Journal of the American Society for Information Science
Safe and sound: artificial intelligence in hazardous applications
Safe and sound: artificial intelligence in hazardous applications
Prolog (3rd ed.): programming for artificial intelligence
Prolog (3rd ed.): programming for artificial intelligence
ACM Computing Surveys (CSUR)
Semantic integration of heterogeneous information sources
Data & Knowledge Engineering - Special issue on heterogeneous information resources need semantic access
A logic-based theory of deductive arguments
Artificial Intelligence
Introduction to Bayesian Networks
Introduction to Bayesian Networks
Representing Uncertain Knowledge: An Artificial Intelligence Approach
Representing Uncertain Knowledge: An Artificial Intelligence Approach
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Summarizing scientific articles: experiments with relevance and rhetorical status
Computational Linguistics - Summarization
Tableau Techniques for Querying Information Sources through Global Schemas
ICDT '99 Proceedings of the 7th International Conference on Database Theory
TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources
ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Developing Finite Domain Constraints - A Data Model Approach
CL '00 Proceedings of the First International Conference on Computational Logic
Abductive Inference of Genetic Networks
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Source Integration in Data Warehousing
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Integration of Information in Four-Valued Logics under Non-Uniform Assumptions
ISMVL '00 Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
An introduction to description logics
The description logic handbook
The description logic handbook
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
Using reasoning to guide annotation with gene ontology terms in GOAT
ACM SIGMOD Record
Formalization of mouse embryo anatomy
Bioinformatics
What's yours and what's mine: determining intellectual attribution in scientific text
EMNLP '00 Proceedings of the 2000 Joint SIGDAT conference on Empirical methods in natural language processing and very large corpora: held in conjunction with the 38th Annual Meeting of the Association for Computational Linguistics - Volume 13
ACM SIGMOD Record
International Journal of Intelligent Systems - Computational Models of Natural Argumentation
Towards an argument interchange format
The Knowledge Engineering Review
How to reason with OWL in a logic programming system
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Fusion rules for merging uncertain information
Information Fusion
A knowledge-based approach to merging information
Knowledge-Based Systems
Argumentation in artificial intelligence
Artificial Intelligence
Argumentation over ontology correspondences in MAS
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 02
Guest Editors' Introduction: Argumentation Technology
IEEE Intelligent Systems
Computing Arguments and Attacks in Assumption-Based Argumentation
IEEE Intelligent Systems
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
Elements of Argumentation
Implementing semantic merging operators using binary decision diagrams
International Journal of Approximate Reasoning
Incomplete Statistical Information Fusion and Its Application to Clinical Trials Data
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Practical first-order argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Issues in reasoning about interaction networks in cells: necessity of event ordering knowledge
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
HUGIN: a shell for building Bayesian belief universes for expert systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
MUNIN: a causal probabilistic network for interpretation of electromyographic findings
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
ProbLog: a probabilistic prolog and its application in link discovery
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Merging first-order knowledge using dilation operators
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Algorithms for effective argumentation in classical propositional logic: a connection graph approach
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Is there a role for qualitative risk assessment?
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
OILing the way to machine understandable bioinformatics resources
IEEE Transactions on Information Technology in Biomedicine
Building a bioinformatics ontology using OIL
IEEE Transactions on Information Technology in Biomedicine
A descriptive approach to classification
ICTIR'11 Proceedings of the Third international conference on Advances in information retrieval theory
Hi-index | 0.00 |
With the rapid growth in the quantity and complexity of scientific knowledge available for scientists, and allied professionals, the problems associated with harnessing this knowledge are well recognized. Some of these problems are a result of the uncertainties and inconsistencies that arise in this knowledge. Other problems arise from heterogeneous and informal formats for this knowledge. To address these problems, developments in the application of knowledge representation and reasoning technologies can allow scientific knowledge to be captured in logic-based formalisms. Using such formalisms, we can undertake reasoning with the uncertainty and inconsistency to allow automated techniques to be used for querying and combining of scientific knowledge. Furthermore, by harnessing background knowledge, the querying and combining tasks can be carried out more intelligently. In this paper, we review some of the significant proposals for formalisms for representing and reasoning with scientific knowledge.