Search results

Create the page "Logics" on this wiki! See also the search results found.

• DL-Learner
  ...m selected objects. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web. The goal of DL-Learner is to provide a DL/OWL based m
  898 bytes (117 words) - 19:16, 20 September 2009
• VSTTE 2008
  Combining Domain-Specific and Foundational Logics to Verify Complete
  5 KB (686 words) - 12:27, 12 September 2008
• CP
  ...t as predecessor::International Conference on Constraints in Computational Logics]], Munich, 1994
  4 KB (540 words) - 09:57, 24 May 2019
• HermiT
  [[Category:Description logics]] ...rem prover for [http://en.wikipedia.org/wiki/Description_logic description logics] (DLs) -- a family of knowledge representation formalisms with many uses. D
  889 bytes (124 words) - 11:52, 26 September 2008
• ECSQARU 2009
  * Logics for reasoning under uncertainty
  3 KB (321 words) - 20:06, 14 October 2008
• WoLLIC 2008
  ...sociation for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI ...hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information org
  5 KB (639 words) - 23:00, 14 October 2008
• ASPOCP 2008
  currently are the integration of ASP with description logics (in the
  5 KB (645 words) - 23:04, 14 October 2008
• WIALAMAS 2008
  | Title = Workshop on Logics for Intelligent Agents and Multi-Agent Systems Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008)
  5 KB (670 words) - 23:04, 14 October 2008
• FLOW 2008
  formalizing knowledge using two-valued logics like Description Logics
  5 KB (696 words) - 18:29, 8 November 2008
• LPAR 2008
  - Modal and temporal logics - Description logics
  5 KB (799 words) - 21:49, 26 February 2020
• KR 2008
  Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics Nonmonotonic logics, Default Logics, Conditional logics, Argumentation
  3 KB (430 words) - 16:44, 4 November 2016
• ICTAC 09
  * logics and their applications
  8 KB (1,085 words) - 18:01, 12 February 2009
• TCS 2008
  standard logics in computer science; concurrency theory and complexity; modal and temporal logics; model checking and
  5 KB (698 words) - 23:08, 14 October 2008
• TWOMDE 2008
  validation of models using ontologies; application of Description Logics semantics of Description Logics semantics of and MOF-based models.
  8 KB (994 words) - 23:09, 14 October 2008
• ECDM 2008
  * Induction of Cause and Effect, Logics for Evolution
  4 KB (582 words) - 23:09, 14 October 2008
• LID 2008
  For some of these, corresponding logics already exist or are being explored.
  5 KB (647 words) - 23:10, 14 October 2008
• ALPSWS 2008
  * Combinations of Logic Programming and Description Logics
  6 KB (865 words) - 23:13, 14 October 2008
• AAMAS 2020
  * Logics for agent reasoning
  6 KB (659 words) - 17:41, 11 February 2021
• LICS 2008
  ...al intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming langua
  2 KB (285 words) - 15:11, 7 November 2016
• ASWC 2008
  * Rule Languages, Logics and Scalable Reasoning on the Semantic Web
  4 KB (573 words) - 23:31, 14 October 2008
• ESWC 2008
  Logics for the Semantic Web
  2 KB (266 words) - 11:46, 28 May 2016
• PLDI 2009
  - Type systems and program logics - Debugging techniques and tools
  5 KB (667 words) - 14:18, 25 November 2016
• LICS 2020
  * categorical models and logics * description logics
  5 KB (656 words) - 11:29, 27 August 2020
• PLDI 2008
  * Type systems and program logics
  5 KB (678 words) - 20:58, 26 November 2016
• WORM 2008
  * researchers in description logics, information extraction and integration, automated reasoning who have devel
  7 KB (891 words) - 23:35, 14 October 2008
• SOFSEM 2009
  * specification languages (temporal logics, semantic equivalences
  6 KB (682 words) - 10:18, 14 April 2020
• DEON 2008
  ...ome both theoretical work (formal models, representations, specifications, logics, verification) and implementation-oriented work (architectures, programming
  5 KB (587 words) - 23:37, 14 October 2008
• LAPL 2009
  |Title=Workshop on Logics and Agent Programming Languages == WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
  4 KB (586 words) - 01:27, 19 November 2008
• DALT 2008
  * modal and epistemic logics for agent modelling
  8 KB (840 words) - 23:38, 14 October 2008
• M4M-6
  and tools based on modal logics. Here the term "modal logics" is related to modal logics.
  4 KB (535 words) - 10:05, 24 December 2008
• TIME 2009
  - temporal logics for distributed systems - temporal logics of knowledge
  6 KB (872 words) - 13:00, 18 January 2009
• FroCoS 2009
  * combinations of logics such as combined predicate, temporal, modal, or epistemic logics;
  5 KB (669 words) - 13:03, 18 January 2009
• HyLo 2009
  modal logics, temporal logic, and labelled deduction. The workshop papers, see the Hybrid Logics homepage (http://hylo.loria.fr/).
  4 KB (567 words) - 16:33, 27 February 2009
• ASAI 2009
  • Dr. Jie Bao (Semantic Web and Description Logics, Department of Computer Science, Rensselaer Polytechnic Institute, USA)
  6 KB (830 words) - 16:33, 27 February 2009
• SBMF 2009
  - Logics and semantics of programming and
  7 KB (1,094 words) - 11:42, 29 September 2016
• FCT 2009
  ...ility and nonstandard computing models; algebraic and categorical methods; logics and model
  2 KB (282 words) - 11:28, 21 April 2021
• SR 2009
  ...dational theories can be developed, rooted into formal disciplines such as logics and optimization theory. From these foundations, new paradigms for knowledg
  5 KB (644 words) - 22:00, 27 February 2009
• RelMiCS-AKA 2009
  Special focus will lie on formal methods for software engineering, logics of programs and links with neighboring - algebraic approaches to logics of programs, modal and dynamic logics,
  7 KB (912 words) - 17:08, 27 February 2009
• AOSE09
  =C2 and verification logics;
  8 KB (1,153 words) - 22:41, 23 March 2009
• IPMU 2010
  ...on Methods, Knowledge Representation, Approximate Reasoning, Non-classical Logics, Default Reasoning, Belief Revision, Argumentation, Ontologies, Uncertainty
  2 KB (253 words) - 10:51, 17 July 2020
• ICIMP 2010
  ...nagement; Formalisms for trust specification, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal framework fo
  14 KB (1,651 words) - 15:56, 15 February 2017
• JELIA
  |Title=Logics in Artificial Intelligence, European Conference
  115 bytes (15 words) - 22:08, 26 February 2020
• IJCSI-March-2011
  Intelligent techniques, logics and systems<br> Intelligent techniques, logics and systems<br>
  4 KB (554 words) - 12:34, 14 October 2020
• Call-For-Papers-IJCSI-May-2011
  Intelligent techniques, logics and systems<br> Intelligent techniques, logics and systems<br>
  4 KB (556 words) - 12:33, 14 October 2020
• Call-For-Papers-IJCSI-September-2011
  Intelligent techniques, logics and systems<br> Intelligent techniques, logics and systems<br>
  4 KB (552 words) - 08:13, 10 December 2010
• Call-For-Papers-IJCSI-July-2011
  Intelligent techniques, logics and systems<br> Intelligent techniques, logics and systems<br>
  4 KB (554 words) - 10:24, 6 July 2020
• Call-For-Papers-IJCSI-November-2011
  Intelligent techniques, logics and systems<br> Intelligent techniques, logics and systems<br>
  4 KB (554 words) - 12:33, 14 October 2020
• SWAT 2011
  ...evelopments in the areas of knowledge representation including descriptive logics, using languages such as RDF or OWL, and web applications with a focus on i
  2 KB (333 words) - 19:00, 23 December 2010
• ICTSS 2011
  ...and modeling languages such as automata, state machines, process algebra, logics, SDL, UML, HOL, Markov-chains, test generation from models, model coverage;
  6 KB (822 words) - 14:44, 18 March 2011
• SKY 2011
  ...asses and relations of a knowledge ontology, or represented by Description Logics. What is much less trivial is that this new kind of knowledge is Runnable k
  4 KB (493 words) - 18:00, 6 April 2011
• RASEP 2011
  Languages, Formal Logics, etc.
  7 KB (1,019 words) - 18:29, 8 April 2011
• ICCSA 2012
  Logics and meanings of programs
  10 KB (1,308 words) - 09:20, 7 May 2012
• International Journal of Advances in Computing and Information Technology
  ...nance and E- Commerce, Artificial Intelligent and Expert Systems, Fuzzy logics and ite Applications, Operations Research (OR), Pervasive Computing, Advanc
  3 KB (434 words) - 22:46, 30 May 2012
• ICTSS 2016
  ...and modeling languages such as automata, state machines, process algebra, logics, UML, HOL, Markov-chains, test generation from models, model coverage
  3 KB (405 words) - 10:56, 24 April 2016
• SLIE 2017
  |Title=SLIE 2017 : Semantic, Logics, Information Extraction and AI
  431 bytes (46 words) - 18:13, 19 December 2016
• ICDT 2017
  * model theory, logics, algebras, computational complexity
  4 KB (557 words) - 10:14, 15 May 2019
• COMPUTATION TOOLS 2017
  ...UTATION TOOLS 2017 : The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking |Field=distributed computation, programming languages, algebras, logics
  523 bytes (59 words) - 13:49, 25 September 2016
• LICS 2016
  * categorical models and logics * description logics
  4 KB (528 words) - 11:25, 26 June 2020
• LICS 2017
  * categorical models and logics * description logics
  4 KB (490 words) - 11:42, 26 June 2020
• GenSW2017
  ...S, but also in more expressive representation languages, like Description Logics/OWL.
  5 KB (704 words) - 20:15, 6 July 2017
• FoIKS 2018
  Logics in Databases and AI: classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability
  9 KB (1,118 words) - 13:41, 3 September 2017
• MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences
  techniques; satisfiability modulo theories; combinations of logics and deductive
  5 KB (670 words) - 13:24, 28 July 2017
• KSEM 2020
  • Logics of knowledge; formal analysis of knowledge; reasoning about knowledge
  3 KB (277 words) - 15:47, 11 June 2020
• KSEM 2018
  * Logics of knowledge; formal analysis of knowledge; reasoning about knowledge
  2 KB (204 words) - 11:36, 27 March 2020
• APLAS 2019
  * semantics, logics, foundational theory
  1 KB (141 words) - 15:22, 8 April 2020
• APLAS 2018
  * Semantics, logics, foundational theory
  1 KB (110 words) - 15:22, 8 April 2020
• APLAS 2017
  * semantics, logics, foundational theory
  1 KB (109 words) - 15:23, 8 April 2020
• ICAS 2020
  ...osing autonomous systems; Formalisms and languages for autonomous systems; Logics and paradigms for autonomous systems; Ambient and real-time paradigms for a
  16 KB (1,897 words) - 12:31, 18 May 2020
• EMAS 2020
  modal and epistemic logics for agent modeling
  8 KB (1,092 words) - 12:49, 22 April 2020
• IPMU 2020
  *Non-classical Logics
  3 KB (405 words) - 12:30, 10 July 2020
• IPMU 2018
  *Fuzzy Logic and other non-classical Logics Multiple Criteria Decision Methods Aggregation Methods Knowledge Acquisitio
  2 KB (323 words) - 10:15, 17 July 2020
• ICIMP 2020
  ...nagement; Formalisms for trust specification, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal framework fo
  17 KB (2,088 words) - 12:49, 14 June 2020
• LICS 2019
  * categorical models and logics * description logics
  4 KB (525 words) - 11:27, 27 August 2020
• LICS 2018
  * categorical models and logics * description logics
  4 KB (537 words) - 14:06, 27 August 2020
• POPL 2018
  * Frank Pfenning: Message-Passing Concurrency and Substructural Logics
  4 KB (472 words) - 15:41, 9 July 2020
• ICCGI 2020
  Intelligent techniques, logics, and systems ...nal complexity in autonomous agents; Multi-agent planning and cooperation; Logics and formal models of for agency verification; Nomadic agents; Negotiation,
  18 KB (2,036 words) - 02:36, 10 July 2020
• ICAS 2021
  ...osing autonomous systems; Formalisms and languages for autonomous systems; Logics and paradigms for autonomous systems; Ambient and real-time paradigms for a
  16 KB (1,874 words) - 12:15, 24 November 2020
• ICIMP 2021
  ...nagement; Formalisms for trust specification, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal framework fo
  17 KB (2,035 words) - 14:45, 18 February 2021
• PATTERNS 2021
  Pattern logics and algebras; Pattern recognition; Pattern matching; Pattern languages; Pat
  8 KB (942 words) - 18:55, 8 December 2020
• COMPUTATION TOOLS 2021
  ...PUTATION TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking ...PUTATION TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  7 KB (764 words) - 18:56, 8 December 2020
• "ICAS 2021"
  ...osing autonomous systems; Formalisms and languages for autonomous systems; Logics and paradigms for autonomous systems; Ambient and real-time paradigms for a
  16 KB (1,874 words) - 14:47, 10 February 2021
• FCT 1995
  *Computational logics
  779 bytes (96 words) - 13:33, 2 March 2021
• ICAS
  ...osing autonomous systems; Formalisms and languages for autonomous systems; Logics and paradigms for autonomous systems; Ambient and real-time paradigms for a
  16 KB (1,956 words) - 11:50, 3 March 2021
• CONCUR 2021
  Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics incl ...logics, probabilistic and stochastic logics, temporal logics, and resource logics;
  2 KB (262 words) - 16:45, 8 April 2021
• FCT 2011
  * logics and model checking
  3 KB (324 words) - 12:01, 21 April 2021
• FCT 2015
  * logics and model checking
  3 KB (425 words) - 14:12, 22 April 2021