Logic

Results: 27485



#Item
561

A Matter of Principles: Towards the Largest DLP Possible⋆ Markus Krötzsch and Sebastian Rudolph Institut AIFB, Universität Karlsruhe, DE Abstract. Description Logic Programs (DLP) have been described as a descriptio

Add to Reading List

Source URL: ceur-ws.org

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

    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2010-04-20 14:40:19
      563

      An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation Fabrizio Riguzzi1 and Terrance Swift2 1 2

      Add to Reading List

      Source URL: pdfs.semanticscholar.org

      - Date: 2015-07-28 19:18:34
        564

        R. W. Hartenstein, K. Schmidt, H. Reinig, M. Weber: A Novel Compilation Technique for a Machine Paradigm Based on Field-Programmable Logic; in Will Moore, Wayne Luk (ed.): FPGAs; Oxford 1991 International Workshop on Fie

        Add to Reading List

        Source URL: www.fpl.uni-kl.de

        - Date: 2012-03-17 07:08:04
          565

          Collective Classication in Semantic Mapping with a Probabilistic Description Logic 1 2

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2011-06-26 10:23:25
            566

            Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

            Add to Reading List

            Source URL: ceur-ws.org

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

              Completeness of Public Announcement Logic in Topological Spaces Can BAS ¸ KENT The Graduate Center of the City University of New York

              Add to Reading List

              Source URL: canbaskent.net

              - Date: 2014-03-06 23:53:45
                568

                Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

                Add to Reading List

                Source URL: canbaskent.net

                - Date: 2016-04-10 14:02:56
                  569

                  Proceedings, International CODATA Symposium on LandCover Logic, Bonn, Germany, Nov, 2007 ISBN4 105 pages € 43,published by CODATA-Germany

                  Add to Reading List

                  Source URL: www.codata-germany.org

                  - Date: 2007-12-02 14:46:46
                    570

                    Incremental Decision Procedures for Modal Logic with Nominals and Eventualities Gert Smolka Saarland University

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2011-06-26 09:17:12
                      UPDATE