Search results

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

• 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

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)