Logic

Results: 27485



#Item
531

Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand†

Add to Reading List

Source URL: www.ii.uib.no

- Date: 2007-04-18 05:02:41
    532

    L-Recursion and a new Logic for Logarithmic Space Martin Grohe, Berit Grußien, André Hernich, and Bastian Laubner Humboldt University Berlin Germany {grohe,grussien,hernich,laubner}@informatik.hu-berlin.de

    Add to Reading List

    Source URL: drops.dagstuhl.de

    - Date: 2011-08-31 03:31:57
      533

      Forgetting and uniform interpolation in extensions of the description logic EL Boris Konev, Dirk Walther, and Frank Wolter? University of Liverpool, UK {konev, dwalther, wolter}@liverpool.ac.uk

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2009-07-07 04:46:34
        534

        Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 265–269 http://www.floc-conference.org/ICLP-home.html TOWARDS A GENERAL ARGUMENTATION SYSTEM BASED ON ANSWER-SET PROG

        Add to Reading List

        Source URL: drops.dagstuhl.de

        - Date: 2010-06-24 07:28:38
          535

          Dexter A Browser-based Data Explorer for End Users Project Page: http://dexter.stanford.edu Sudhir Agarwal, Abhijeet Mohapatra, and Michael Genesereth Stanford Logic Group

          Add to Reading List

          Source URL: dexter.stanford.edu

          - Date: 2014-11-19 04:10:37
            536

            Linear-Time Temporal Logic Control of Discrete Event Systems Bruno Filipe Ara´ ujo Lacerda

            Add to Reading List

            Source URL: sqig.math.ist.utl.pt

            - Date: 2009-02-17 04:49:00
              537

              A Resolution Based Description Logic Calculus Zsolt Zombori1 and Gergely Luk´acsy2 1 Budapest University of Technology and Economics, Hungary 2

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2009-07-07 04:46:34
                538

                Pioneer advantage: Marketing logic or marketing legend? Golder, Peter N; Tellis, Gerard J JMR, Journal of Marketing Research; May 1993; 30, 2; ABI/INFORM Global pgReproduced with permission of the copyright owner.

                Add to Reading List

                Source URL: www-bcf.usc.edu

                - Date: 2005-03-08 19:12:50
                  539

                  Meditations on Subset Space Logic Can Ba¸skent Department of Computer Science Graduate Center, the City University of New York // www.canbaskent.net

                  Add to Reading List

                  Source URL: canbaskent.net

                  - Date: 2014-03-06 23:50:53
                    540

                    Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2011-06-26 10:23:07
                      UPDATE