Search results

Jump to: navigation, search

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

Page title matches

Page text matches

  • SAC 2009 Programming Languages
    ...Languages from All Paradigms (Agent-Oriented, Aspect-Oriented, Functional, Logic, Object-Oriented, etc.),
    4 KB (568 words) - 20:02, 20 August 2008
  • CCC 2020
    * Logic and descriptive complexity
    2 KB (227 words) - 15:39, 21 October 2020
  • DL-Learner
    ...earn classes in OWL ontologies from selected objects. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web. The goal of DL-Lea
    898 bytes (117 words) - 19:16, 20 September 2009
  • TOCL
    | title = Transactions on Computational Logic
    253 bytes (29 words) - 16:33, 18 August 2008
  • ICDT 2009
    ...abases and knowledge bases; Distributed databases; Integrity and security; Logic and databases; Multimedia databases; Query optimization; Query processing;
    5 KB (753 words) - 18:59, 25 June 2012
  • CSR 2009
    * proof theory and applications of logic to computer science.
    5 KB (614 words) - 17:22, 11 September 2008
  • VSTTE 2008
    Modal Logic Mapped Separation Logic
    5 KB (686 words) - 12:27, 12 September 2008
  • CISIS 2009
    * Fuzzy Logic and Fuzzy Systems
    13 KB (1,706 words) - 16:34, 27 December 2015
  • DAMP 2009
    The emphasis will be on functional and (constraint-)logic
    2 KB (302 words) - 15:13, 25 September 2008
  • DAMP 2008
    Programs written in functional or (constraint-)logic programming (constraint-)logic programming, but any programming language ideas
    6 KB (701 words) - 14:43, 25 September 2008
  • DAMP 2007
    Programs written in functional or logic programming languages, or even in other languages with a controlled use of ...tly coupled parallel architectures. The emphasis will be on functional and logic programming, but any programming language ideas that aim to raise the level
    5 KB (752 words) - 14:50, 25 September 2008
  • DAMP 2006
    Functional and logic programming languages, especially * suitability of functional and logic programming languages to
    4 KB (471 words) - 15:12, 25 September 2008
  • CP
    * Workshops on Constraint Logic Programming, Marseille, 1991, 1992 & 1993 * [[has event as predecessor::Workshop on Constraint Logic Programming]], Alton Jones, 1988
    4 KB (540 words) - 09:57, 24 May 2019
  • LGS6
    |Title=Logic, Game Theory, and Social Choice 6
    2 KB (212 words) - 22:13, 27 September 2008
  • CIRAS 2009
    ...es that from the backbone of intelligent control, real time control, fuzzy logic systems, neuro-computing, DNA computing, neural networks (NN), humanoids, c
    4 KB (585 words) - 16:13, 14 October 2008
  • GEMS 2009
    - Higher order tensors and Quantum Logic extensions - Logic and inference in semantic spaces
    6 KB (857 words) - 04:56, 15 September 2009
  • STOC 2009
    ...g, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computationa
    6 KB (869 words) - 20:22, 22 February 2009
  • FPGA 2009
    * FPGA Architecture: Novel logic block architectures, combination of FPGA fabric and system blocks (DSP, pro ...timing, logic optimization, technology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD
    4 KB (561 words) - 17:48, 14 October 2008
  • NAACL HLT 2009
    - Formal semantics and logic
    4 KB (570 words) - 14:02, 4 June 2020
  • LPNMR
    [[LPNMR]] stands for "International Conference on Logic Programming and Nonmonotonic Reasoning"
    495 bytes (50 words) - 20:12, 14 October 2008

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"