Knowledge Adaptation and Reasoning for Content

The ability to represent knowledge about the world and to draw logical inferences is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.

Recent blog and wiki posts

These are the two most recent headlines; see our blog and wiki page for more details. Click on the [+] to see a preview of the a post. Click on the title of a post to go to the blog and read the whole post.

• [+] Message from Calculemus (Christine in “KWARC was!”, 30 Jul)
  
  James Davenport’s plea for providing more insights on the proof and how one got it done and … if a computer can’t solve it, is it really not provable. Shouldn’t it rather return “I can’t solve it”? An interesting comment wrt. to the fact that William Farmer and Alan Bundy pointed me to, that is that [...]
• [+] User:Jon Awbrey (Jon Awbrey in MathWeb - Recent changes [en], 4 Aug)
  

  Education: tweak links

  ←Older revision		Revision as of 03:46, 4 August 2008
  (3 intermediate revisions not shown.)
  Line 3:		Line 3:
  	__NOTOC__		__NOTOC__
  	==Presently …==		==Presently …==
  		+
  		+	[http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Differential Propositional Calculus]
  	[http://www.mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Prospects For Inquiry Driven Systems]		[http://www.mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Prospects For Inquiry Driven Systems]
  		+
  		+	[http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems 2.0]
  	==Recent Sightings==		==Recent Sightings==
  Line 17:		Line 21:
  	|-		|-
  	| [http://www.mywikibiz.com/Directory:Jon_Awbrey Mywikibiz Directory]		| [http://www.mywikibiz.com/Directory:Jon_Awbrey Mywikibiz Directory]
  -	| [http://www.mywikibiz.com/Directory_talk:Jon_Awbrey Mywikibiz Discussion]	+	| [http://www.mywikibiz.com/Directory_talk:Jon_Awbrey Mywikibiz Dialogue]
  		+	|-
  		+	| [http://planetmath.org/ PlanetMath Project]
  		+	| [http://planetmath.org/?op=getuser&id=15246 PlanetMath Profile]
  		+	|-
  		+	| [http://knol.google.com/ Google Knol Home]
  		+	| [http://knol.google.com/k/-/-/3fkwvf69kridz/1 Google Knol Vita]
  		+	|-
  		+	| [http://mathforum.org/kb/ Math Forum Project]
  		+	| [http://mathforum.org/kb/accountView.jspa?userID=99854 Math Forum Page]
  	|-		|-
  	| [http://www.mathweb.org/wiki/User:Jon_Awbrey MathWeb Home]		| [http://www.mathweb.org/wiki/User:Jon_Awbrey MathWeb Home]
  	| [http://www.mathweb.org/wiki/User_talk:Jon_Awbrey MathWeb Talk]		| [http://www.mathweb.org/wiki/User_talk:Jon_Awbrey MathWeb Talk]
  	|-		|-
  -	| [http://planetmath.org/ PlanetMath Collab]	+	| [http://www.research.att.com/~njas/sequences/Seis.html Fantasia Sequentia]
  -	| [http://planetmath.org/?op=getuser&id=15246 PlanetMath Profile]	+	| [http://www.research.att.com/~njas/sequences/?q=Awbrey Bolgia Mia]
  -	|-	+
  -	| [http://mathforum.org/kb/ Math Forum Metalist]	+
  -	| [http://mathforum.org/kb/accountView.jspa?userID=99854 Math Forum Profile]	+
  	|-		|-
  	| [http://www.p2pfoundation.net/User:JonAwbrey P2P Wiki Home]		| [http://www.p2pfoundation.net/User:JonAwbrey P2P Wiki Home]
  Line 33:		Line 43:
  	| [http://vectors.usc.edu/ Vectors Project]		| [http://vectors.usc.edu/ Vectors Project]
  	| [http://vectors.usc.edu/thoughtmesh/ ThoughtMesh]		| [http://vectors.usc.edu/thoughtmesh/ ThoughtMesh]
  		+	|-
  		+	| [http://altheim.4java.ca/ceryle/wiki/ Ceryle Project]
  		+	| [http://altheim.4java.ca/ceryle/wiki/Wiki.jsp?page=JonAwbrey Ceryle Profile]
  	|-		|-
  	| [http://forum.wolframscience.com/ NKS Forum]		| [http://forum.wolframscience.com/ NKS Forum]
  	| [http://forum.wolframscience.com/member.php?s=&action=getinfo&userid=336 NKS Profile]		| [http://forum.wolframscience.com/member.php?s=&action=getinfo&userid=336 NKS Profile]
  	|-		|-
  -	| [http://ontolog.cim3.net/ OntoLog Collab]	+	| [http://www.wikinfo.org/index.php/User:Jon_Awbrey WikInfo Home]
  -	| [http://ontolog.cim3.net/cgi-bin/wiki.pl?JonAwbrey OntoLog Home]	+	| [http://www.wikinfo.org/index.php/User_talk:Jon_Awbrey WikInfo Talk]
  -	|-	+
  -	| [http://ontoworld.org/wiki/User:Jon_Awbrey OntoWorld Home]	+
  -	| [http://ontoworld.org/wiki/User_talk:Jon_Awbrey OntoWorld Talk]	+
  -	|-	+
  -	| [http://altheim.4java.ca/ceryle/wiki/ Ceryle Wiki]	+
  -	| [http://altheim.4java.ca/ceryle/wiki/Wiki.jsp?page=JonAwbrey Ceryle Home]	+
  	|-		|-
  	| [http://www.getwiki.net/-User:Jon_Awbrey GetWiki Home]		| [http://www.getwiki.net/-User:Jon_Awbrey GetWiki Home]
  	| [http://www.getwiki.net/-UserTalk:Jon_Awbrey GetWiki Talk]		| [http://www.getwiki.net/-UserTalk:Jon_Awbrey GetWiki Talk]
  	|-		|-
  -	| [http://www.wikinfo.org/index.php/User:Jon_Awbrey Wikinfo Home]	+	| [http://ontolog.cim3.net/ OntoLog Project]
  -	| [http://www.wikinfo.org/index.php/User_talk:Jon_Awbrey Wikinfo Talk]	+	| [http://ontolog.cim3.net/cgi-bin/wiki.pl?JonAwbrey OntoLog Profile]
  	|-		|-
  -	| [http://wikipediareview.com/ Wikipedia Review]	+	| [http://semanticweb.org/wiki/User:Jon_Awbrey SemanticWeb Home]
  -	| [http://wikipediareview.com/index.php?showuser=398 Jonny Cache]	+	| [http://semanticweb.org/wiki/User_talk:Jon_Awbrey SemanticWeb Talk]
  	|-		|-
  -	| [http://www.research.att.com/~njas/sequences/Seis.html Fantasia Sequentia]	+	| [http://wikipediareview.com/index.php?showuser=5619 Jon Awbrey @ WR]
  -	| [http://www.research.att.com/~njas/sequences/?q=Awbrey Bolgia Mia]	+	| [http://wikipediareview.com/index.php?showuser=398 Jonny Cache @ WR]
  	|-		|-
  -	| [http://zh.wikipedia.org/wiki/User:Jon_Awbrey Zhongwen WP Home]	+	| [http://zh.wikipedia.org/wiki/User:Jon_Awbrey 维基百科 : 用户页面]
  -	| [http://zh.wikipedia.org/wiki/User_talk:Jon_Awbrey Zhongwen WP Talk]	+	| [http://zh.wikipedia.org/wiki/User_talk:Jon_Awbrey 维基百科 : 讨论]
  	|}		|}
  Line 84:		Line 91:
  	* '''1989. [http://web.archive.org/web/20001206101800/http://www.msu.edu/dig/msumap/psychology.html M.A. Psychology]''', [http://web.archive.org/web/20000902103838/http://www.msu.edu/dig/msumap/beaumont.html Michigan State University].		* '''1989. [http://web.archive.org/web/20001206101800/http://www.msu.edu/dig/msumap/psychology.html M.A. Psychology]''', [http://web.archive.org/web/20000902103838/http://www.msu.edu/dig/msumap/beaumont.html Michigan State University].
  -	* 1985–1986, [http://quod.lib.umich.edu/cgi/i/image/image-idx?id=S-BHL-X-BL001808%5DBL001808 Graduate Study, Mathematics], [http://www.umich.edu/ University of Michigan].	+	* 1985–1986. [http://quod.lib.umich.edu/cgi/i/image/image-idx?id=S-BHL-X-BL001808%5DBL001808 Graduate Study, Mathematics], [http://www.umich.edu/ University of Michigan].
  -	* 1985. [http://web.archive.org/web/20061230174652/http://www.uiuc.edu/navigation/buildings/altgeld.top.html Graduate Study, Mathematics], [http://www.uiuc.edu/ University of Illinois] at Urbana–Champaign.	+	* 1985. [http://web.archive.org/web/20061230174652/http://www.uiuc.edu/navigation/buildings/altgeld.top.html Graduate Study, Mathematics], [http://www.uiuc.edu/ University of Illinois at Urbana–Champaign].
  -	* 1984. [http://www.psych.uiuc.edu/graduate/ Graduate Study, Psychology], [http://www.uiuc.edu/ University of Illinois] at Champaign–Urbana.	+	* 1984. [http://www.psych.uiuc.edu/graduate/ Graduate Study, Psychology], [http://www.uiuc.edu/ University of Illinois at Champaign–Urbana].
  	* '''1980. [http://www.mth.msu.edu/images/wells_medium.jpg M.A. Mathematics]''', [http://www.msu.edu/~hvac/survey/BeaumontTower.html Michigan State University].		* '''1980. [http://www.mth.msu.edu/images/wells_medium.jpg M.A. Mathematics]''', [http://www.msu.edu/~hvac/survey/BeaumontTower.html Michigan State University].
  Line 98:		Line 105:
  	* [http://www.cadeconference.org/ CADE]		* [http://www.cadeconference.org/ CADE]
  	** [http://www.cadeconference.org/meetings/cade21/ CADE 21]		** [http://www.cadeconference.org/meetings/cade21/ CADE 21]
  -
  	* [http://kwarc.info/ KWARC]		* [http://kwarc.info/ KWARC]
  -
  	* [http://www.mkm-ig.org/ MKM]		* [http://www.mkm-ig.org/ MKM]
  -
  	* [http://www.risc.uni-linz.ac.at/ RISC]		* [http://www.risc.uni-linz.ac.at/ RISC]
  -
  	* Reasoning Web		* Reasoning Web
  	** [http://rewerse.net/ REWERSE], Reasoning on the Web		** [http://rewerse.net/ REWERSE], Reasoning on the Web
  	** [[Reasoning Web 2007]], [http://reasoningweb.org/2007/ Home Page]		** [[Reasoning Web 2007]], [http://reasoningweb.org/2007/ Home Page]