A5019854432- Logic, Reasoning, and Knowledge
- Multi-Agent Systems and Negotiation
- Semantic Web and Ontologies
- Topic Modeling
- Bayesian Modeling and Causal Inference
- Advanced Algebra and Logic
- Speech and dialogue systems
- Advanced Database Systems and Queries
- AI-based Problem Solving and Planning
- Natural Language Processing Techniques
- Logic, programming, and type systems
- Biomedical Text Mining and Ontologies
- Advanced Text Analysis Techniques
- Rough Sets and Fuzzy Logic
- Access Control and Trust
- Opinion Dynamics and Social Influence
- Data Management and Algorithms
- Business Process Modeling and Analysis
- Complex Systems and Decision Making
- AI in Service Interactions
- Software Engineering Research
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Hungarian Social, Economic and Educational Studies
University College London
2015-2024
The London College
2023
UCL Australia
1997-2014
Systems, Applications & Products in Data Processing (United Kingdom)
2012
Imperial College London
1990-2005
Imperial Valley College
1991-2005
University of Maryland, Baltimore
1995-2004
New York University
2001
Schwab Rehabilitation Hospital
2001
University of Baltimore
1995
The development of most large and complex systems necessarily involves many people-each with their own perspectives on the system defined by knowledge, responsibilities, commitments. To address this we have advocated distributed specifications from multiple perspectives. However, leads to problems identifying handling inconsistencies between such Maintaining absolute consistency is not always possible. Often even desirable since can unnecessarily constrain process, lead loss important...
In previous work, we advocated continued development of specifications in the presence inconsistency. To support this, used classical logic to represent partial and identify inconsistencies between them. We now present an adaptation logic, which term quasi-classical (QC) that allows reasoning The is a weakening prohibits all trivial derivations, but still resolvants assumptions be derived. Furthermore, connectives behave manner. then called labeled QC records tracks reasoning. This...
In abstract argumentation, each argument is regarded as atomic. There no internal structure to an argument. Also, there specification of what or attack. They are assumed be given. This perspective provides many
The field of computational models argument is emerging as an important aspect artificial intelligence research. reason for this based on the recognition that if we are to develop robust intelligent systems, then it imperative they can handle incomplete and inconsistent information in a way somehow emulates humans tackle such complex task. And one key ways do use argumentation either internally, by evaluating arguments counterarguments, or externally, instance entering into discussion debate...
The problem of combining pieces information issued from several sources can be encountered in various fields application. This paper aims at presenting the different aspects fusion domains, such as databases, regulations, preferences, sensor fusion, etc., a quite general level. We first present types problems, and process. Then we focus on representation issues which are relevant when discussing problems. An important issue is then addressed, handling conflicting information. briefly review...
Results from clinical trials are usually summarized in the form of sampling distributions. When full information (mean, SEM) about these distributions is given, performing meta-analysis straightforward. However, when some only have mean values, a challenging issue to decide how use such meta-analysis. Currently, most common approaches either ignoring or for each trial with missing SEM, finding similar and taking its SEM value as SEM. Both drawbacks. As an alternative, this paper develops...
A deductive argument is a pair where the first item set of premises, second claim, and premises entail claim. This can be formalised by assuming logical language for entailment (or
Abstract argumentation offers an appealing way of representing and evaluating arguments counterarguments. This approach can be enhanced by considering probability assignments on arguments, allowing for a quantitative treatment formal argumentation. In this paper, we regard the assignment as denoting degree belief that agent has in argument being acceptable. While there are various interpretations this, example is how it could applied to deductive argument. Here, acceptable combination which...