the following opportunity to submit and publish original scientific results to: – COMPUTATION TOOLS 2016, The Seventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking The submission deadline is November 3, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== […]
Posts Tagged ‘Description logics’
COMPUTATION TOOLS 2016, The Seventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
July 9th, 2015 
CI2S Enterprise Content Admin 
Posted in Congress, Country, Italy 
Tags: Ambiant logics, Computability logic, Computational logics and constraints, Computational tree logic, Description logics, Emotion logics, Executable computational logics, fuzzy logics, Many-valued computational logics, Modal logics, Monadic computational logics, Quantum computational logics, Reasoning logics, Semantic logics, Temporal logics 
Comments Off on COMPUTATION TOOLS 2016, The Seventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking24th International Joint Conference on Artificial Intelligence (IJCAI-15) Knowledge Representation and Reasoning Track
September 8th, 2014 CI2S Enterprise Content Admin KR Track CALL FOR PAPERS 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Knowledge Representation and Reasoning Track Buenos Aires, Argentina 25 July-1 August 2015 http://ijcai-15.org/ CALL FOR PAPERS Knowledge Representation and Reasoning (KRR) is an exciting, central, and well-established area of Artificial Intelligence. In KRR, a fundamental assumption is that an agent’s knowledge is […]
Posted in Argentina, Congress, Country Tags: abduction, Action, agent systems, and others., answer set programming, Argumentation, autonomous agents, based data access, based reasoning, belief merging, causality and causal reasoning, change, Cognitive Robotics, conditional logics, constraint logic programming, Contextual reasoning, default logics, Deployed KR systems, Description logics, Diagnosis, economic models, epistemic and doxastic logics, explanation finding, game theory, Inconsistency and exception tolerant reasoning, inductive logic programming, Information Fusion, knowledge discovery and acquisition, KR and data management, KR and decision making, KR and general game playing, KR and the web, KR in image and video understanding, KR in machine learning, KR in natural language understanding and question answering, KR in software engineering, KR in video games, Logic programming, logical models of agency, many, Multi, Nonmonotonic logics, ontology, Ontology languages and modeling, paraconsistent logics, Philosophical foundations of KR, preference, Preference modeling and representation, QBF solvers, Qualitative reasoning, queries and updates over incomplete data, Reasoners and solvers: theorem provers, Reasoning about knowledge and belief, Reasoning about norms and organizations, reasoning about physical systems, reasoning about preferences, relational probability models, representations of vagueness, revision and update, SAT solvers, social knowledge and behavior, Spatial reasoning and temporal reasoning, uncertainty, valued and fuzzy logics, virtual environments Comments Off on 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Knowledge Representation and Reasoning Track24th International Joint Conference on Artificial Intelligence (IJCAI-15)
September 1st, 2014 CI2S Enterprise Content Admin KR Track CALL FOR PAPERS 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Knowledge Representation and Reasoning Track Buenos Aires, Argentina 25 July-1 August 2015 http://ijcai-15.org/ CALL FOR PAPERS Knowledge Representation and Reasoning (KRR) is an exciting, central, and well-established area of Artificial Intelligence. In KRR, a fundamental assumption is that an agent’s knowledge is […]
Posted in Argentina, Congress, Country Tags: abduction, acquisition, Action, agent systems, answer set programming, Argumentation, autonomous agents, based data access, based reasoning, behavior, belief, Belief change: revision, belief merging, causal reasoning, causality, change, Cognitive Robotics, conditional logics, constraint logic programming, Contextual reasoning, data management, decision making, default logics, Deployed KR systems, Description logics, Diagnosis, doxastic logics, economic models, epistemic, exception tolerant reasoning, explanation finding, fuzzy logics, game theory, general game playing, Inconsistency, inductive logic programming, Information Fusion, ing, Knowledge discovery, KR, KR in image, KR in machine learning, KR in natural language underst, KR in software engineering, KR in video games, Logic programming, logical models of agency, many, Modeling, Multi, Nonmonotonic logics, ontology, Ontology languages, organizations, others, paraconsistent logics, Philosophical foundations of KR, preference, Preference modeling, QBF solvers, Qualitative reasoning, queries, question answering, Reasoners, Reasoning about knowledge, Reasoning about norms, reasoning about physical systems, reasoning about preferences, relational probability models, representation, representations of vagueness, SAT solvers, social knowledge, solvers: theorem provers, Spatial reasoning, temporal reasoning, the web, uncertainty, update, updates over incomplete data, valued, video underst, virtual environments Comments Off on 24th International Joint Conference on Artificial Intelligence (IJCAI-15)