Two forms of dependence in propositional logic: controllability and definability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
ACM Transactions on Computational Logic (TOCL)
Parameter Estimation in Stochastic Logic Programs
Machine Learning
A Methodology for Multiple-Fault Diagnosis Based on the Independent Choice Logic
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Integration of Fault Detection and Diagnosis in a Probabilistic Logic Framework
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Validating the Behavior of Self-Interested Agents in an Information Market Scenario
IDEAL '00 Proceedings of the Second International Conference on Intelligent Data Engineering and Automated Learning, Data Mining, Financial Engineering, and Intelligent Agents
A Logic for Modeling Decision Making with Dynamic Preferences
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Faults Diagnosis in Industrial Processes with a Hybrid Diagnostic System
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Specifying Rational Agents with Statecharts and Utility Functions
RoboCup 2001: Robot Soccer World Cup V
Dynamically Ordered Probabilistic Choice Logic Programming
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Logic, Knowledge Representation, and Bayesian Decision Theory
CL '00 Proceedings of the First International Conference on Computational Logic
Choice Logic Programs and Nash Equilibria in Strategic Games
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Reasoning about actions in a probabilistic setting
Eighteenth national conference on Artificial intelligence
Probabilistic complex actions in GOLOG
Fundamenta Informaticae
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Representing von Neumann–Morgenstern Games in the Situation Calculus
Annals of Mathematics and Artificial Intelligence
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Planning and programming with first-order markov decision processes: insights and challenges
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
A new characterization of probabilities in Bayesian networks
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Causes and explanations in the structural-model approach: tractable cases
Artificial Intelligence
Dimensions of complexity of intelligent agents
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Probabilistic description logic programs
International Journal of Approximate Reasoning
Shopping robots and e-commerce
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Representing Uncertainty in RuleML
Fundamenta Informaticae
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
Learning probabilistic logic models from probabilistic examples
Machine Learning
First-Order Probabilistic Languages: Into the Unknown
Inductive Logic Programming
Probabilistic Planning in Hybrid Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Tractable Probabilistic Description Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Logic-based robot control in highly dynamic domains
Robotics and Autonomous Systems
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
A Logical Approach to Qualitative and Quantitative Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Approach to Probabilistic Data Integration for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Rule-Based Approaches for Representing Probabilistic Ontology Mappings
Uncertainty Reasoning for the Semantic Web I
Compact preference representation and Boolean games
Autonomous Agents and Multi-Agent Systems
Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Practical solution techniques for first-order MDPs
Artificial Intelligence
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Description logic programs under probabilistic uncertainty and fuzzy vagueness
International Journal of Approximate Reasoning
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
Encoding probabilistic causal model in probabilistic action language
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Assessing the complexity of plan recognition
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Integrating Logical Reasoning and Probabilistic Chain Graphs
ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part I
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Cp-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Generative modeling with failure in PRISM
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Annals of Mathematics and Artificial Intelligence
Causes and explanations in the structural-model approach: Tractable cases
Artificial Intelligence
Intensional dynamic programming. A Rosetta stone for structured dynamic programming
Journal of Algorithms
Information-driven search strategies in the board game of CLUE®
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Learning first-order Bayesian networks
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Tightly integrated probabilistic description logic programs for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Probabilistic information integration and retrieval in the semantic web
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Tightly integrated probabilistic description logic programs for representing ontology mappings
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
New advances in logic-based probabilistic modeling by PRISM
Probabilistic inductive logic programming
The independent choice logic and beyond
Probabilistic inductive logic programming
Knowledge representation for stochastic decision processes
Artificial intelligence today
Logic–based decision support for strategic environmental assessment
Theory and Practice of Logic Programming
Embracing events in causal modelling: interventions and counterfactuals in CP-ogic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Cost-based query answering in action probabilistic logic programs
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
Relational preference rules for control
Artificial Intelligence
Logic, probability and computation: foundations and issues of statistical relational AI
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Probabilistic relational learning and inductive logic programming at a global scale
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Incomplete knowledge in hybrid probabilistic logic programs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Representing causal information about a probabilistic process
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Probabilistic reasoning about actions in nonmonotonic causal theories
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Logical bayesian networks and their relation to other probabilistic logical models
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Reference classes and relational learning
International Journal of Approximate Reasoning
The logical way to be artificially intelligent
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Data Mining and Knowledge Discovery
Artificial intelligence and human thinking
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Generalising the interaction rules in probabilistic logic
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Learning the structure of probabilistic logic programs
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Variational bayes inference for logic-based probabilistic models on BDDs
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Representing Uncertainty in RuleML
Fundamenta Informaticae
Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Probabilistic Complex Actions in GOLOG
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Extending and formalizing bayesian networks by strong relevant logic
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
MCMC estimation of conditional probabilities in probabilistic programming languages
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Annals of Mathematics and Artificial Intelligence
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Expectation maximization over binary decision diagrams for probabilistic logic programs
Intelligent Data Analysis
Hi-index | 0.00 |