https://confident.dbis.rwth-aachen.de/or/index.php
type: Ontology
creation date: 2025-11-08T02:10:27+01:00
imports: http://semantic-mediawiki.org/swivt/1.0

Automated reasoning
type: Class
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 14
wiki page content language: en
has query: http://confident-conference.org/or/index.php
wiki page creation date: 2008-08-11T17:36:32Z
creation date#aux: 2454690.2337037
processing error: http://confident-conference.org/or/index.php
last editor is: http://confident-conference.org/or/index.php
wiki page modification date: 2016-09-25T12:15:15Z
modification date#aux: 2457657.0105903
wiki page sort key: Automated reasoning
subclass of: http://confident-conference.org/or/index.php
page creator: http://confident-conference.org/or/index.php

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 0
query format: table
query size: 2
query string:
wiki page sort key: Automated reasoning# QUERYf72c916f385976ff6ba7f7ec4aacffa1

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 1
query format: icalendar
query size: 5
query string: ≥1 January 2016 ≤31 December 2016
wiki page sort key: Automated reasoning# QUERYc5cd2e311cf77f6f7f702fbf36f30a2f

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Automated reasoning# QUERY5804e5532907de6bf5d4779d0de4586e

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Automated reasoning# QUERYef8142b0770302eb98f5fa291fb9e48a

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Automated reasoning# QUERY529c0006394b1e68f9d9bc45b3c67291

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Automated reasoning# QUERYc5b4a4b72dd35dc655c55c60a912ac56

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Automated reasoning# QUERYb2b0d2dae9d4bf911395bcb304620b4a

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Automated reasoning# QUERY06975638664d7228f83d11f922cada10

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 1
query format: table
query size: 3
query string: ≥31 March 2022
wiki page sort key: Automated reasoning# QUERY728581748fefc954199311a347f62525

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 1
query format: list
query size: 5
query string: ≥31 March 2022
wiki page sort key: Automated reasoning# QUERY1b5b5d0ff532df860aac99b0dd1fbe1b

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_unexpectedpart","[["]
wiki page sort key: Automated reasoning# ERR003c87646d3026c15f1608742381f560

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_misplacedsymbol","[["]
wiki page sort key: Automated reasoning# ERR4d654bd0fc980a6b0597358ed2064db6

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_unexpectedpart",""]
wiki page sort key: Automated reasoning# ERR479c60d47340bb7e2bcf8e5e1e9207e6

http://confident-conference.org/or/index.php
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_noclosingbrackets"]
wiki page sort key: Automated reasoning# ERR1dd423a8697e32d6813ecd1a7aae482c

CADE
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2020

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

CADE1980
type: Subject
type: Automated reasoning
page: https://confident.dbis.rwth-aachen.de/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1999

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

IJCAR 2001
type: Subject
type: Automated reasoning
page: https://confident.dbis.rwth-aachen.de/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/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/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2020

WAIMS 2016
type: Subject
type: Automated reasoning
page: https://confident.dbis.rwth-aachen.de/or/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/or/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/or/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/or/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/or/index.php
wiki namespace: 102
wiki page content language: en
wiki page sort key: Subcategory of