yusuke1997/dblp-id-title huggingface dataset:
Run-Time Semantics of a Language for Programming Social Processes
Model Checking Agent Programs by Using the Program Interpreter
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems
Partial Information and Uniform Strategies
Adding Evolving Abilities to a Multi-Agent System
A Dynamic Logic of Institutional Actions
Social Commitment Delegation and Monitoring
Easy Yet Hard: Model Checking Strategies of Agents
Belief Updating by Communication Channel
External Transaction Logic with Automatic Compensations
A Geometric Look at Manipulation
Using Jason to Implement a Team of Gold Miners
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information
An Abductive Framework for Information Exchange in Multi-agent Systems
Logical Spaces in Multi-agent Only Knowing Systems
Reasoning about Multi-agent Domains Using Action Language C \mathcal{C}: A Preliminary Study
On the Implementation of Global Abduction
Multi-agent Only-Knowing
Is Computational Complexity a Barrier to Manipulation?
Contextual Reasoning in Agent Systems
EVOLP: Tranformation-Based Semantics
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures
Epistemic ATL with Perfect Recall, Past and Strategy Contexts
On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
(Dis)Belief Change Based on Messages Processing
A Modal Framework for Relating Belief and Signed Information
Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation
Multi-Agent FLUX for the Gold Mining Domain (System Description)
Planning for Multiagent Using ASP-Prolog
Planning Experiments in the DALI Logic Programming Language
-Tropos
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant
Analyzing the Equivalence Zoo in Abstract Argumentation
Games, Norms and Strategic Notions in Information Flow Security
Symbolic Negotiation with Linear Logic
Reasoning about Joint Action and Coalitional Ability in K n with Intersection
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
Probabilistic Rule Learning in Nonmonotonic Domains
Dynamic Logic for Plan Revision in Intelligent Agents
Constitutive Norms in the Design of Normative Multiagent Systems
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
A Logic for Knowledge, Correctness, and Real Time
Fair Allocation of Group Tasks According to Social Norms
Group Announcements: Logic and Games (Abstract of Invited Talk)
The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules
Coordination Between Logical Agents
The Functional Dependence Relation on Hypergraphs of Secrets
Verifying Team Formation Protocols with Probabilistic Model Checking
Reactive Food Gathering
Verification of Protocol Conformance and Agent Interoperability
Using Agent JPF to Build Models for Other Model Checkers
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings
Learning in BDI Multi-agent Systems
Abduction-Based Search for Cooperative Answers
Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem
Combining Answer Sets of Nonmonotonic Logic Programs
A Logic for Reasoning about Rational Agents
EVOLP: An Implementation
Three Steps
Verifying Business Process Compliance by Reasoning about Actions
Verifying Protocol Conformance for Logic-Based Communicating Agents
Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
Applications of Logic in Social Choice Theory - (Invited Talk)
A New Logical Semantics for Agent Communication
Ontology Merging as Social Choice
An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report
A New HTN Planning Framework for Agents in Dynamic Environments
Instantiating Knowledge Bases in Abstract Dialectical Frameworks
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
Advanced SAT Techniques for Abstract Argumentation
A Temporal Argumentation Approach to Cooperative Planning Using Dialogues
Alternating-Time Temporal Announcement Logic
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic
Contextual Terminologies
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior
From Logic Programs Updates to Action Description Updates
Metareasoning for Multi-agent Epistemic Logics
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation
Intention Recognition in the Situation Calculus and Probability Theory Frameworks
Normative Systems Represented as Hybrid Knowledge Bases
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper)
Fuzzy Argumentation for Trust
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models
From Organisation Specification to Normative Programming in Multi-Agent Organisations
Argumentation-Based Preference Modelling with Incomplete Information
Admissibility in the Abstract Dialectical Framework
A Behavioral Hierarchy of Strategy Logic
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
Bounded-Resource Reasoning as (Strong or Classical) Planning
Ability in a Multi-agent Context: A Model in the Situation Calculus
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Variety of Behaviours Through Profiles in Logic-Based Agents
Trustworthiness by Default
Desire-Space Analysis and Action Selection for Multiple Dynamic Goals
Weighted Multi Dimensional Logic Programs
A Sequent-Based Representation of Logical Argumentation
Assumption-Based Argumentation for Selection and Composition of Services
Organising Software in Active Environments
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts
Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach
Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study
Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
Empirical Evaluation of Strategies for Multiparty Argumentative Debates
Dialogue Game Tree with Nondeterministic Additive Consolidation
Inst QL : A Query Language for Virtual Institutions Using Answer Set Programming
Contracts Violation: Justification via Argumentation
Perceiving Rules under Incomplete and Inconsistent Information
A Computational Model for Conversation Policies for Agent Communication
Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk)
Reasoning About Epistemic States of Agents by Modal Logic Programming
A Formal Semantics for Agent (Re)Organization
Actions with Failures in Interval Temporal Logic
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
Time Is Up! - Norms with Deadlines in Action Languages
Inferring Trust
Acts of Commanding and Changing Obligations
Automated Planning of Simple Persuasion Dialogues
Plan-Coordination Mechanisms and the Price of Autonomy
Contextual Taxonomies
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences
A Numerical Approach to the Merging of Argumentation Networks
Reasoning about Exceptions to Contracts
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
Hypergraphs of Multiparty Secrets
Planning Partially for Situated Agents
Language Constructs for Multi-agent Programming
Fault Tolerant and Fixed Scalable Structure of Middle-Agents
Using the KGP Model of Agency to Design Applications (Tutorial Paper)
Evolving Bridge Rules in Evolving Multi-Context Systems
Finding Uniform Strategies for Multi-agent Systems
On the Implementation of Speculative Constraint Processing
An Argumentation-Based Negotiation for Distributed Extended Logic Programs
A Conceptual Model for Situated Artificial Institutions
A Formal Semantics for Brahms
Logics for Reasoning about Agents' Attitudes in Strategic Contexts
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
A Heuristic Approach to P2P Negotiation
Implementing Pheromone-Based, Negotiating Forager Agents
A Social Validation of Collaborative Annotations on Digital Documents
The Use of Mark-Up in Computer-Aided Design and Lessons for Text Documents
Negotiating the Formalization Gulf in Collaborative Semantic Annotation
Semantic/Conceptual Annotation Making Use of the NKRL Technology
Annotations and Collaborative Work: A Corporate Approach
KINOA: a collaborative annotation tool for engineering teams
DiLAS: a Digital Library Annotation Service
A specific tool of Annotations for the Electronic Health Record
Using annotations in engineering design: some results from an experimental study
Proceedings of the International Workshop on Annotation for Collaboration - Methods, Tools and Practices, La Sorbonne, Paris, France, 2005, November 23-24
Annotation functionalities to enable an improved use of digital technical publication
Annotation in cooperative work: from paper-based to the web one
Supporting Shared Analysis for Mobile Investigators
Annotations and collaboration: One in service of the other
Annotation: textual media for cooperation
A CBR Based online image management system
Viewpoints exchange through document units authoring to support pedagogical resources co-design
Graduality by Means of Analogical Reasoning
Contextual Discounting of Belief Functions
Qualitative Bayesian Networks with Logical Constraints
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5, 1995, Proceedings
Fuzzy Relational Inequations and Equations in the Framework of Control Problems
Decision-Making with Belief Functions and Pignistic Probabilities
Logical Compilation of Bayesian Networks with Discrete Variables
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities
Translating Inaccessible Worlds Logic into Bimodal Logic
Methods to Determine the Branching Attribute in Bayesian Multinets Classifiers
Recovering Incedence Functions
Information Fusion in Logic: A Brief Overview
Conditional Deduction Under Uncertainty
Arguing with Valued Preference Relations
Winning by Numbers: Connecting Strong Admissibility to Optimal Play in Argumentation
Exploring Extensions of Possibilistic Logic over Gödel Logic
Using Default Logic in Information Retrieval
On the Notion of Dominance of Fuzzy Choice Functions and Its Application in Multicriteria Decision Making
Inference from Multinomial Data Based on a MLE-Dominance Criterion
Cluster-based Specification Techniques in Dempster-Shafer Theory
Algebras of Sets and Coherent Sets of Gambles
Learning Default Theories
Factorization, Inference and Parameter Learning in Discrete AMP Chain Graphs
An Empirical Investigation of the K2 Metric
Brun Normal Forms for Co-atomic Lukasiewicz Logics
Centroids of Credal Sets: A Comparative Study
Implementing Lexicographic Inference Using Partial MaxSAT
Analogies Between Sentences: Theoretical Aspects - Preliminary Experiments
Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance
Effective Dimensions of Partially Observed Polytrees
Formal Properties of Conditional Independence in Different Calculi of AI
A Comparison of Plausibility Conflict and of Degree of Conflict Based on Amount of Uncertainty of Belief Functions
Linguistically expressed uncertainty: its elicitation and use in modular expert systems
Local Möbius Transforms on Monotone Capacities
Marginals of DAG-Isomorphic Independence Models
Assumption-Based Argumentation Is Logic Programming with Projection
A Probabilistic Graphical Model-Based Approach for the Label Ranking Problem
An Axiomatization of Conditional Possibilistic Preference Functionals
Examples of Causal Probabilistic Expert Systems
A Critique of Inductive Causation
Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic
Multi-task Transfer Learning for Bayesian Network Structures
Default Logics
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks
Upper Probabilities Attainable by Distributions of Measurable Selections
Strong Admissibility and Infinite Argumentation Frameworks
Multi-classifiers of Small Treewidth
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
A New Algorithm to Compute Low T-Transitive Approximation of a Fuzzy Relation Preserving Symmetry. Comparisons with the T-Transitive Closure
Analogical Inequalities
Use of Radio Frequency Identification for Targeted Advertising: A Collaborative Filtering Approach Using Bayesian Networks
A Qualitative Hidden Markov Model for Spatio-temporal Reasoning
Lazy Propagation and Independence of Causal Influence
A Rational Conditional Utility Model in a Coherent Framework
Graded Default Logics
Relational Probabilistic Conditional Reasoning at Maximum Entropy
Restraining the Proliferation of Worlds in Probabilistic Logic Entailments
Epistemic Sets Applied to Best-of- n Problems
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report
Fine-Tuning the Odds in Bayesian Networks
Online Fuzzy Temporal Operators for Complex System Monitoring
A Semantics for Conditionals with Default Negation
Qualitative Decision Rules under Uncertainty
On the Induction of Different Kinds of First-Order Fuzzy Rules
Hierarchical Default Logic
RankPL: A Qualitative Probabilistic Programming Language
A Model-Based Theorem Prover for Epistemic Graphs for Argumentation
Every Complex System can be Determined by a Causal Probabilistic Network Without Cycles and Every Such Network Determines a Markov Field
Evidential Generative Adversarial Networks for Handling Imbalanced Learning
Some Experimental Results on Learning Probabilistic and Possibilistic Networks with Different Evaluation Measures
Every LWF and AMP Chain Graph Originates from a Set of Causal Models
Philosophical Reflections on Argument Strength and Gradual Acceptability
Elements of Argumentation
Conditional Beliefs in a Bipolar Framework
Inference and Learning in Multi-dimensional Bayesian Network Classifiers
Similarity Measures Between Arguments Revisited
Polynomial-Time Updates of Epistemic States in a Fragment of Probabilistic Epistemic Argumentation
Using Four Cost Measures to Determine Arc Reversal Orderings
Creating Prototypes for Fast Classification in Dempster-Shafer Clustering
Brain Tumor Segmentation Using Support Vector Machines
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
Generalized Rules of Probabilistic Independence
On the Tree Structure Used by Lazy Propagation for Inference in Bayesian Networks
A Priori Revision
Using Maximum Entropy to Compute Marginal Probabilities in a Causal Binary Tree Need not Take Exponential Time
Explaining Completions Produced by Embeddings of Knowledge Graphs
Modeling Uncertain Relational Knowledge: the AV-Quantified Production Rules Approach
On Supported Inference and Extension Selection in Abstract Argumentation Frameworks
Sorted-Pareto Dominance and Qualitative Notions of Optimality
An Abstract Argumentation and Logic Programming Comparison Based on 5-Valued Labellings
A Paraconsistent Approach to Deal with Epistemic Inconsistencies in Argumentation
Bayesian Confirmation and Justifications
Mixtures of Truncated Exponentials in Hybrid Bayesian Networks
Syntactic Propositional Belief Bases Fusion with Removed Sets
A Robust Bayesian Approach for Causal Inference Problems
Bridging Logical, Comparative, and Graphical Possibilistic Representation Frameworks
Many-Valued Modal Logic and Regular Equivalences in Weighted Social Networks
Robot Navigation and Map Building with the Event Calculus (abstract)
Combination in Dempster-Shafer Theory Based on a Disagreement Factor Between Evidences
Cautious Classification with Data Missing Not at Random Using Generative Random Forests
Independence Decomposition in Dynamic Bayesian Networks
A New Approach to Semantic Aspects of Possibilistic Reasoning
Information Affinity: A New Similarity Measure for Possibilistic Uncertain Information
A Distance-Based Operator to Revising Ontologies in DL SHOQ
General Preferential Entailments as Circumscriptions
Consonant Random Sets: Structure and Properties
Importance Sampling on Bayesian Networks with Deterministic Causalities
Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report
Symbolic Possibilistic Logic: Completeness and Inference Methods
Inverse Marginalisation for Safely Expanding Bayesian Networks
Disjunctive Update, Minimal Change, and Default Reasoning
Approximations of System W Between c-Inference, System Z, and Lexicographic Inference
Measuring the Quality of Health-Care Services: A Likelihood-Based Fuzzy Modeling Approach
An Evidential Measure of Risk in Evidential Markov Chains
Analysis of the TaSe-II TSK-Type Fuzzy System for Function Approximation
A Multiobjective Resource-Constrained Project-Scheduling Problem
On Semantics of Inference in Bayesian Networks
Penniless Propagation with Mixtures of Truncated Exponentials
The Dynamics of Default Reasoning (Extended Abstract)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings
Optimal Threshold Policies for Operation of a Dedicated-Platform with Imperfect State Information - A POMDP Framework
Normative Monitoring Using Bayesian Networks: Defining a Threshold for Conflict Detection
Arguing about the Trustworthiness of the Information Sources
Probability of Deductibility and Belief Functions
Simultaneous Events: Conflicts and Preferences
On the Formalism of Stochastic Logic
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals
A New Generic Framework for Mediated Multilateral Argumentation-Based Negotiation Using Case-Based Reasoning
Measuring Uncertainty in Orthopairs
Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence
The Logical Handling of Threats, Rewards, Tips, and Warnings
Why Defeasible Deontic Logic needs a Multi Preference Semantics
Heterogeneous Spatial Reasoning
Arithmetic Circuit Compilation Using Symbolic Probabilistic Inference and Indicator-Determined Buckets
From RBMs to BN2A Models: Parameter Transformation for Interpretable Educational Diagnostics
On the Effectiveness of Diversity When Training Multiple Classifier Systems
The Intersection Probability and Its Properties
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics
Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators
Generalized Probabilistic Modus Ponens
Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison
On Revising Argumentation-Based Decision Systems
Belief Classification Approach Based on Generalized Credal EM
Belief Functions with Partially Ordered Values
A Clustering Approach for Collaborative Filtering Under the Belief Function Framework
Minimizing Regret in Dynamic Decision Problems
Possibilistic Evidence
Gärdenfors's Supplementary Postulates for Partial Product Contractions
The Degree of Conflict Between Formulas in an Inconsistent Knowledge Base
A Semantic Tableau Version of First-Order Quasi-Classical Logic
Order Compatible Fuzzy Relations and Their Elicitation from General Fuzzy Partitions
Conceptual Uncertainty and Reasoning Tools
On Boolean Algebras of Conditionals and Their Logical Counterpart
Probabilistic Modelling for Software Quality Control
Discrete Minimax Probabilistic Classifier Chains for Multi-label Classification Under Label Imbalance
Using Qualitative Uncertainty in Protein Topology Prediction
Query-Answering in Prioritized Default Logic
Combining Multiple Knowledge Bases by Negotiation: A Possibilistic Approach
Logical Deduction Using the Local Computation Framework
Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets
Reasoning about Knowledge Using Rough Sets
Open Partitions and Probability Assignments in Gödel Logic
Acceptability of arguments as 'logical uncertainty'
Ellipse Fitting with Uncertainty and Fuzzy Decision Stage for Detection. Application in Videomicroscopy
Expert Opinion Extraction from a Biomedical Database
Assertional Default Theories
Probabilistic Graphical Models for the Diagnosis of Analog Electrical Circuits
Dependency Mining in Relational Databases
Assessment of Qualitative Judgements for Conditional Events in Expert Systems
Inferring Causal Explanations
Multi-label Classification of Mobile Application User Reviews Using Neural Language Models
A Local Fusion Method of Temporal Information
Sensitivity Analysis in Bayesian Networks
Variable Elimination for Interval-Valued Influence Diagrams
Measures of Ruleset Quality Capable to Represent Uncertain Validity
Probabilistic Stit Logic
A Random set Model for Fuzzy Labels
Language Invariance and Spectrum Exchangeability in Inductive Logic
Label Semantics: A Formal Framework for Modeling with Words
Learning Methods for Air Traffic Management
Introducing Situational Influences in QPNs
Interpreting Belief Functions as Dirichlet Distributions
Non-deterministic Semantics for Paraconsistent C-Systems
Handling Active Databases with Partial Inconsistencies
Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making
Representing and Reasoning About Arguments Mined from Texts and Dialogues
Dealing Automatically with Exceptions by Introducing Specificity in ASP
Probabilistic Satisfiability and Coherence Checking through Integer Programming
Dempster-Shafer Approximations and Probabilistic Bounds in Statistical Matching
Lemma Handling in Default Logic Theorem Provers
Revision in Extended Propositional Calculus
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
Constructing Bayesian Network Graphs from Labeled Arguments
A Notion of Comparative Probabilistic Entropy Based on the Possibilistic Specificity Ordering
Epistemic Logics for Information Fusion
Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems
Approximating Credal Network Inferences by Linear Programming
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach
A Logic of Imprecise Monadic Predicades and its Relation to the S5-Modal Fuzzy Logic
Symbolic Evidence, Arguments, Supports and Valuation Networks
On Extensions of Marginals for Decision-Making
Conditional Preference Nets and Possibilistic Logic
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants
Anchoring Symbols to Vision Data by Fuzzy Logic
The Evaluation of Sensors' Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model
Private Expansion and Revision in Multi-agent Settings
Defeasible Goals
A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources
The Reliability of Reasoning with Unreliable Rules and Propositions
Approximations of Belief Functions Using Compositional Models