https://confident.dbis.rwth-aachen.de/ormk/index.php
type: Ontology
creation date: 2025-12-01T15:21:27+01:00
imports: http://semantic-mediawiki.org/swivt/1.0

Automated reasoning
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:27:28Z
creation date#aux: 2459262.9774074
last editor is: http://confident-conference.org/ormk/index.php
wiki page modification date: 2021-02-17T11:27:28Z
modification date#aux: 2459262.9774074
is a new page: false
wiki page sort key: Automated reasoning
subclass of: http://confident-conference.org/ormk/index.php

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Answer set programming
type: Class
page: https://confident.dbis.rwth-aachen.de/ormk/index.php
wiki namespace: 14
wiki page content language: en
wiki page sort key: Answer set programming
subclass of: Automated reasoning

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