Category-3AAutomated reasoning
type: Ontology
creation date: 2025-12-25T11:36:19+01:00
imports: http://semantic-mediawiki.org/swivt/1.0

Automated reasoning
type: Class
page: https://www.openresearch.org/wiki/Category-3AAutomated_reasoning
wiki namespace: 14
wiki page content language: en
wiki page creation date: 2008-08-11T17:36:32Z
creation date#aux: 2454690.2337037
last editor is: User:Soeren
wiki page modification date: 2016-09-25T12:15:15Z
modification date#aux: 2457657.0105903
wiki page sort key: Automated reasoning
subclass of: Category:Cognitive science

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERYcf9327317684088a5acf927077cf3779
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERYcc9dab2c659887e9bb39f1584a65957d
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERY73dda410f101c77d79a150aba1f91b42
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERY66f17d6e161b316367683bbb71230705
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERYa145a5162c59be17409bf3af3bf915a2
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERYf202bc80996feb29c60d23b1d429247c
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERYa915900ccd92d50c9ca4d03d4bb541a7
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERYf30efbdf13500646b9814776e6b6fec6
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 1
query format: table
query size: 3
query string: ≥21 February 2025
wiki page sort key: Automated reasoning

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERYe1a95ac4da9169353f96c9f94b68cf6f
type: Subject
master page: Automated reasoning
wiki namespace: 14
query depth: 1
query format: list
query size: 5
query string: ≥21 February 2025
wiki page sort key: Automated reasoning

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_QUERY98bb4de2b89cd0bef91c51a55dcb13ad
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

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_ERR003c87646d3026c15f1608742381f560
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_unexpectedpart","[["]
wiki page sort key: Automated reasoning

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_ERR4d654bd0fc980a6b0597358ed2064db6
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_misplacedsymbol","[["]
wiki page sort key: Automated reasoning

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_ERR479c60d47340bb7e2bcf8e5e1e9207e6
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_unexpectedpart",""]
wiki page sort key: Automated reasoning

http://openresearch.org/wiki/Special:URIResolver/Category-3AAutomated_reasoning-23_ERR1dd423a8697e32d6813ecd1a7aae482c
type: Subject
master page: Automated reasoning
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_noclosingbrackets"]
wiki page sort key: Automated reasoning

CADE
type: Subject
page: https://www.openresearch.org/wiki/CADE
wiki namespace: 0
wiki page content language: en
field: Automated reasoning
wiki page sort key: CADE
type: Automated reasoning

IJCAR
type: Subject
page: https://www.openresearch.org/wiki/IJCAR
wiki namespace: 0
wiki page content language: en
field: Automated reasoning
wiki page sort key: IJCAR
type: Automated reasoning

Answer set programming
type: Class
page: https://www.openresearch.org/wiki/Category-3AAnswer_set_programming
wiki namespace: 14
wiki page content language: en
wiki page sort key: Answer set programming
subclass of: Automated reasoning

HermiT
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/HermiT
wiki namespace: 0
wiki page content language: en
wiki page sort key: HermiT

IJCAR 2018
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2018

CADE 2020
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2020

IJCAR 2020
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2020

CADE 2005
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2005
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2005

CADE 1998
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_1998
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 1998

IJCAR 2012
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2012
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2012

CADE1992
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1992
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1992

IJCAR 2004
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2004
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2004

CADE1988
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1988
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1988

CADE 2013
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2013
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2013

CADE1982
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1982
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1982

CADE 2002
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2002
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2002

CADE 2015
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2015
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2015

IJCAR 2001
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2001
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2001

IJCAR 2016
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2016
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2016

CADE1980
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1980
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1980

IJCAR 2014
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2014
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2014

CADE 2007
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2007
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2007

CADE1986
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1986
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1986

CADE1999
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1999
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1999

CADE 2011
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2011
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2011

CADE 2009
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2009
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2009

IJCAR 2006
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2006
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2006

CADE1997
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1997
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1997

IJCAR 2008
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2008

CADE1990
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1990
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1990

CADE1996
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1996
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1996

IJCAR 2010
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/IJCAR_2010
wiki namespace: 0
wiki page content language: en
wiki page sort key: IJCAR 2010

CADE1984
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1984
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1984

CADE 2003
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2003
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2003

CADE 2000
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2000
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2000

CADE1994
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE1994
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE1994

WAIMS 2016
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/WAIMS_2016
wiki namespace: 0
wiki page content language: en
wiki page sort key: WAIMS 2016

CADE 2017
type: Subject
type: Automated reasoning
page: https://www.openresearch.org/wiki/CADE_2017
wiki namespace: 0
wiki page content language: en
wiki page sort key: CADE 2017

Field
type: ObjectProperty
page: https://www.openresearch.org/wiki/Property-3AField
wiki namespace: 102
wiki page content language: en
wiki page sort key: Field

Subcategory of
type: ObjectProperty
page: https://www.openresearch.org/wiki/Property-3ASubcategory_of
wiki namespace: 102
wiki page content language: en
wiki page sort key: Subcategory of