Artificial Intelligence
A decidable propositional dynamic logic with explicit probabilities
Information and Control
A theory of higher order probabilities
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
A logic to reason about likelihood
Artificial Intelligence
A knowledge-based analysis of zero knowledge
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The knowledge complexity of interactive proof systems
SIAM Journal on Computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Likelihood, probability, and knowledge
Computational Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Knowledge, probability, and adversaries
Journal of the ACM (JACM)
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Probabilistic temporal logics for finite and bounded models
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Retrieval of complex objects using a four-valued logic
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
Journal of Logic, Language and Information
The modal logic of probability
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Characterizing the common prior assumption
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logic of Probability with Decidable Model-Checking
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A Logical Model for Privacy Protection
ISC '01 Proceedings of the 4th International Conference on Information Security
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
Conditional Probability Meets Update Logic
Journal of Logic, Language and Information
Probabilistic belief logic and its probabilistic aumann semantics
Journal of Computer Science and Technology
Modal probability, belief, and actions
Fundamenta Informaticae
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A transition logic for schemata conflicts
Data & Knowledge Engineering
Positive and negative expectations and the deontic nature of social conventions
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A logical approach to multilevel security of probabilistic systems
Distributed Computing
Harsanyi type spaces with knowledge operators
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Journal of Intelligent Information Systems
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Dealing with logical omniscience
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Preservation of epistemic properties in security protocol implementations
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Agents, beliefs, and plausible behavior in a temporal setting
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Specifying and reasoning about uncertain agents
International Journal of Approximate Reasoning
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning
Towards an Epistemic Logic for Uncertain Agents
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Shallow Models for Non-iterative Modal Logics
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probabilistic Logic over Paths
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchy of Logics of Irrational and Conflicting Agents
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
Trust in Agent Societies
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Pragmatic-strategic reputation-based decisions in BDI agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Modeling Persuasiveness: change of uncertainty through agents' interactions
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Artificial General Intelligence through Large-Scale, Multimodal Bayesian Learning
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Probabilistic Dynamic Belief Logic for Image and Reputation
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Probabilistic modelling, inference and learning using logical theories
Annals of Mathematics and Artificial Intelligence
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
A logic for reasoning about evidence
Journal of Artificial Intelligence Research
Combining probabilities, failures and safety in robot control
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
IJCNN'09 Proceedings of the 2009 international joint conference on Neural Networks
A complete probabilistic belief logic
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Representing and verifying temporal epistemic properties in multi-agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Prolegomena to general-imaging-based probabilistic dynamic epistemic logic
JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
PrDLs: a new kind of probabilistic description logics about belief
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Verification of epistemic properties in probabilistic multi-agent systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Beyond rank 1: algebraic semantics and finite models for coalgebraic logics
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Optimizing Conditional Logic Reasoning within CoLoSS
Electronic Notes in Theoretical Computer Science (ENTCS)
Characterizations of iterated admissibility based on PEGL
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Probability Logic of Finitely Additive Beliefs
Journal of Logic, Language and Information
Using multi-agent systems to represent uncertainty
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Annotated probabilistic temporal logic
ACM Transactions on Computational Logic (TOCL)
Update of Probabilistic Beliefs: Implementation and Parametric Verification
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
Symbolic model checking of probabilistic knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
On the fusion of coalgebraic logics
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A partition-based first-order probabilistic logic to represent interactive beliefs
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Logics of belief over weighted structures
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Probabilistic models for agents' beliefs and decisions
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
An algebraic semantics for possibilistic logic
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
How our beliefs contribute to interpret actions
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Modelling uncertainty in agent programming
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A logic for reasoning about evidence
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Model checking for epistemic and temporal properties of uncertain agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Reputation-based decisions for logic-based cognitive agents
Autonomous Agents and Multi-Agent Systems
A formal model of emotions for an empathic rational dialog agent
Autonomous Agents and Multi-Agent Systems
A logic with coherent conditional probabilities
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A hybrid genetic and variable neighborhood descent for probabilistic SAT problem
HM'05 Proceedings of the Second international conference on Hybrid Metaheuristics
Verification in predicate logic with time: algorithmic questions
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
There is a reason for everything (probably): on the application of maxent to induction
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
On lifted inference for a relational probabilistic conditional logic with maximum entropy semantics
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Solving graded/probabilistic modal logic via linear inequalities (system description)
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reasoning about fuzzy belief and common belief: with emphasis on incomparable beliefs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Description logics and fuzzy probability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Taking it to the limit: approximate reasoning for markov processes
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Modal Probability, Belief, and Actions
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
Common knowledge and state-dependent equilibria
SAGT'12 Proceedings of the 5th international conference on Algorithmic Game Theory
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Coalgebraic announcement logics
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Reasoning about continuous uncertainty in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A logic for reasoning about ambiguity
Artificial Intelligence
Stone Duality for Markov Processes
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |