https://confident.dbis.rwth-aachen.de/ormk/index.php
type: Ontology
creation date: 2026-01-25T15:48:22+01:00
imports: http://semantic-mediawiki.org/swivt/1.0

Logic
type: Class
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 14
wiki page content language: en
wiki page creation date: 2021-02-17T11:54:16Z
creation date#aux: 2459262.9960185
last editor is: http://confident-conference.org/ormk/index.php
wiki page modification date: 2021-02-17T11:54:16Z
modification date#aux: 2459262.9960185
is a new page: false
wiki page sort key: Logic
subclass of: http://confident-conference.org/ormk/index.php

AiML
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: AiML
type: Logic

CIAA
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: CIAA
type: Logic

CSL
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: CSL
type: Logic

Commonsense
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: Commonsense
type: Logic

ICLP
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: ICLP
type: Logic

ILP
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: ILP
type: Logic

LICS
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: LICS
type: Logic

LOPSTR
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: LOPSTR
type: Logic

TABLEAUX
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: TABLEAUX
type: Logic

TIME
type: Subject
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: TIME
type: Logic

ALPSWS 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ALPSWS 2008

ASPOCP 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ASPOCP 2008

AiML 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: AiML 2018

AiML 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: AiML 2020

CIAA 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2017

CIAA 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2018

CIAA 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2019

CIAA 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2020

CSL 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2018

CSL 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2020

Commonsense 2011
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2011

Commonsense 2013
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2013

Commonsense 2015
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2015

DALT 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: DALT 2008

DEON 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: DEON 2008

ICLP 2009
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ICLP 2009

ICLP 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ICLP 2020

ILP 2009
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2009

ILP 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2017

ILP 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2018

ILP 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2019

ILP 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2020

ISMVL 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ISMVL 2008

JoLLI Special Issue 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: JoLLI Special Issue 2008

LICS 1986
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1986

LICS 1987
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1987

LICS 1988
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1988

LICS 1989
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1989

LICS 1990
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1990

LICS 1991
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1991

LICS 1992
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1992

LICS 1993
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1993

LICS 1994
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1994

LICS 1995
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1995

LICS 1996
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1996

LICS 1997
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1997

LICS 1998
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1998

LICS 1999
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1999

LICS 2000
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2000

LICS 2001
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2001

LICS 2002
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2002

LICS 2003
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2003

LICS 2004
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2004

LICS 2005
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2005

LICS 2006
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2006

LICS 2007
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2007

LICS 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2008

LICS 2009
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2009

LICS 2010
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2010

LICS 2011
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2011

LICS 2012
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2012

LICS 2013
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2013

LICS 2014
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2014

LICS 2015
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2015

LICS 2016
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2016

LICS 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2017

LICS 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2018

LICS 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2019

LICS 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2020

LID 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LID 2008

LOPSTR 2016
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2016

LOPSTR 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2017

LOPSTR 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2018

LOPSTR 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2019

LOPSTR 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2020

LaSh 2016
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LaSh 2016

SELSE 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: SELSE 2008

StuS 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: StuS 2008

TABLEAUX 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TABLEAUX 2020

TIME 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2018

TIME 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2019

TIME 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2020

WoLLIC 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: WoLLIC 2008

Modal logic
type: Class
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 14
wiki page content language: en
wiki page sort key: Modal logic
subclass of: Logic

Field
type: ObjectProperty
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 102
wiki page content language: en
wiki page sort key: Field

INST
type: DatatypeProperty
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 102
wiki page content language: en
wiki page sort key: INST

Subcategory of
type: ObjectProperty
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 102
wiki page content language: en
wiki page sort key: Subcategory of