Search results

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

• ALPSWS 2008
  | Title = Third International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services Logic Programming to the (Semantic) Web and Web Services
  6 KB (865 words) - 23:13, 14 October 2008
• ICITA 2008
  Fuzzy logic and Reasoning Programming Tools and Compilers
  3 KB (427 words) - 17:01, 29 May 2016
• ADCSS 2008
  ...ines as well as checking tools exist but not yet matured. The semantics of programming like C or Ada are well defined by independent standards (e.g. ANSI). The se ...), while software models can represent software failure modes and recovery logic. Model checking allows verifying if a system feared event can originate fro
  18 KB (2,714 words) - 23:23, 14 October 2008
• LEARN 2009
  Inductive Logic Programming
  5 KB (569 words) - 23:21, 14 October 2008
• LICS 2008
  |Title=23rd Annual IEEE Symposium on Logic in Computer Science |Field=Logic
  2 KB (285 words) - 15:11, 7 November 2016
• ISMVL 2008
  | Title = 38th IEEE International Symposium on Multiple-Valued Logic | Field = Logic
  2 KB (288 words) - 23:24, 14 October 2008
• ATAI 2011
  Fuzzy logic and soft computing Languages and programming techniques for AI
  3 KB (397 words) - 10:23, 24 June 2011
• ESOP 2009
  | Title = 18th European Symposium on Programming | Field = Programming languages
  6 KB (824 words) - 23:32, 14 October 2008
• PPDP 2008
  | Title = Principles and Practice of Declarative Programming | Field = Programming languages
  4 KB (451 words) - 23:32, 14 October 2008
• ILP 2020
  |Title=International Conference on Inductive Logic Programming
  502 bytes (59 words) - 11:42, 31 March 2020
• LICS 2020
  |Title=35th Annual ACM/IEEE Symposium on Logic in Computer Science The 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 8–11 July 2020
  5 KB (656 words) - 11:29, 27 August 2020
• IWLS 2008
  | Title = 17th International Workshop on Logic and Synthesis The International Workshop on Logic and Synthesis provides a forum for research in synthesis, optimization, and
  3 KB (399 words) - 23:36, 14 October 2008
• DEON 2008
  | Title = Ninth International Conference on Deontic Logic in Computer Science ...sible normative reasoning, the logic of action, and other related areas of logic
  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
  * (constraint) logic programming approaches to agent systems * formal semantics for agent programming languages and frameworks
  8 KB (840 words) - 23:38, 14 October 2008
• QAPL 2009
  |Title=Seventh Workshop on Quantitative Aspects of Programming Languages |Field=Programming languages
  6 KB (823 words) - 14:28, 14 December 2008
• ICLP 2009
  |Title=25th International Conference on Logic Programming |Field=logic programming
  5 KB (680 words) - 23:55, 27 February 2020
• MLG 2009
  * ILP-2009 - 19th International Conference on Inductive Logic Programming ...co-located: ILP-2009, the 19th International Conference on Inductive Logic Programming; MLG-2009, the 7th International Workshop on Mining and Learning with Graph
  4 KB (542 words) - 13:01, 18 January 2009
• ILP 2009
  | Title = 19th International Conference on Inductive Logic Programming * ILP-2009 - 19th International Conference on Inductive Logic Programming
  4 KB (521 words) - 15:25, 23 July 2019
• ILP
  |Title=International Conference on Inductive Logic Programming |Field=Logic
  138 bytes (19 words) - 12:05, 31 March 2020

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