Please log in if you want to be notified when automated reasoning is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever this topic is mentioned in an event.

automated reasoning


Automated reasoning is mentioned in 79 events. This topic is an active interest of Dan Wu, Francesco Ricci and Adnan Darwiche.

about


tracker for automated reasoning


December 18, 2008

7th international symposium on frontiers of combining systems (FROCOS 2009) was added.

December 12, 2008

Automated reasoning with analytic tableaux and related methods (TABLEAUX 2009) was updated.

December 7, 2008

Workshop on automated reasoning about context and ontology evolution (ARCOE 2009) was added.

December 5, 2008

21st international joint conference on artificial intelligence (IJCAI 2009) was updated.

November 12, 2008

Joint workshop on automated reasoning for security protocol analysis and issues in the theory of security (ARSPA-WITS 2009) was added.

November 11, 2008

Automated reasoning with analytic tableaux and related methods (TABLEAUX 2009) was added.

October 8, 2008

7th international semantic web conference (ISWC 2008) was updated.

October 3, 2008

22th canadian conference on artificial intelligence (AI 2009) was added.

September 7, 2008

3rd international workshop on applications of logic programming to the (semantic) web and web services (ALPSWS 2008) was updated.

August 18, 2008

3rd international workshop on applications of logic programming to the (semantic) web and web services (ALPSWS 2008) was updated.

August 4, 2008

3rd international workshop on applications of logic programming to the (semantic) web and web services (ALPSWS 2008) was updated.

July 29, 2008

1st international workshop on fuzzy logic on the web (FLOW 2008) was updated.

« Previous 1 2 3 4 5 6 7 8 9 10 Next »