Computational Logic Group - Historial de revisiones

Jalonso en 11:57 26 abr 2011

2011-04-26T11:57:41Z

Garanda en 13:52 23 ene 2010

2010-01-23T13:52:04Z

Garanda en 13:51 23 ene 2010

2010-01-23T13:51:24Z

WikiSysop en 07:49 30 oct 2008

2008-10-30T07:49:10Z

WikiSysop en 07:48 30 oct 2008

2008-10-30T07:48:29Z

Jalonso en 05:03 18 abr 2008

2008-04-18T05:03:15Z

Jalonso: New page: The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the app...

2008-04-16T05:56:04Z

New page: The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the app...

Página nueva

The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the application of algebraic methods (Gröbner basis) to deduction in multivalued logics.

In the first half of the nineties, our work was centred around the [http://www-unix.mcs.anl.gov/AR/otter/ OTTER] theorem prover, [http://rewriting.loria.fr/ term rewriting systems] and [http://www.afm.sbu.ac.uk/logic-prog/ logic programming].

In the second half of the nineties, we started to apply algebraic methods to the [http://www.csd.abdn.ac.uk/~apreece/Research/KQpage.html verification of knowledge-based systems]. In 1997, we begun our project to apply [http://www.afm.sbu.ac.uk/ formal methods] to the verification of [http://www-formal.stanford.edu/clt/ARS/systems.html reasoning systems]. Using [http://www.cs.utexas.edu/users/moore/acl2/ ACL2] we have developed a number of basic [[computational theories]] for automated deduction.

Currently, the group is formed by seven [[Group members|members]]. Our main research interests are:
* the study of techniques allowing to increase the efficiency of the algorithms of the computational theories previously developed,
* the application of the techniques developed to the verification, with the [http://pvs.csl.sri.com/ PVS] verification system, of other intelligent systems (like [http://www.upriss.org.uk/fca/fca.html formal concept analysis]), and
* the study of the validation of knowledge bases in complex ontologies and its applications to the [http://www.semanticweb.org/ Semantic Web].

During all these years, the group has been involved in several [[Projects|research projects]] with public financial support. At the same time, [[Related courses|education in Computational Logic]] has been one of our major concerns.

@@ Línea 1: / Línea 1: @@
 The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the application of algebraic methods (Gröbner basis) to deduction in multivalued logics.
-In the first half of the nineties, our work was centred around the [http://www-unix.mcs.anl.gov/AR/otter/ OTTER] theorem prover, [http://rewriting.loria.fr/ term rewriting systems] and [http://www.afm.sbu.ac.uk/logic-prog/ logic programming].
+In the first half of the nineties, our work was centred around the [http://www-unix.mcs.anl.gov/AR/otter/ OTTER] theorem prover, [http://rewriting.loria.fr/ term rewriting systems] and [http://www.win.tue.nl/~setalle/lp/tutorial.pdf  logic programming].
 In the second half of the nineties, we started to apply algebraic methods to the [http://www.csd.abdn.ac.uk/~apreece/Research/KQpage.html verification of knowledge-based systems]. In 1997, we begun our project to apply [http://www.afm.sbu.ac.uk/ formal methods] to the verification of [http://www-formal.stanford.edu/clt/ARS/systems.html reasoning systems]. Using [http://www.cs.utexas.edu/users/moore/acl2/ ACL2] we have developed a number of basic [[Theories|computational theories]] for automated deduction.

← Revisión anterior		Revisión del 13:52 23 ene 2010
Línea 11:		Línea 11:

	During all these years, the group has been involved in several [[Projects\|research projects]] with public financial support. At the same time, [[Related courses\|education in Computational Logic]] has been one of our major concerns.		During all these years, the group has been involved in several [[Projects\|research projects]] with public financial support. At the same time, [[Related courses\|education in Computational Logic]] has been one of our major concerns.
−
−	~~[[marrones]]~~

← Revisión anterior		Revisión del 13:51 23 ene 2010
Línea 11:		Línea 11:

	During all these years, the group has been involved in several [[Projects\|research projects]] with public financial support. At the same time, [[Related courses\|education in Computational Logic]] has been one of our major concerns.		During all these years, the group has been involved in several [[Projects\|research projects]] with public financial support. At the same time, [[Related courses\|education in Computational Logic]] has been one of our major concerns.
		+
		+	[[marrones]]

← Revisión anterior		Revisión del 07:49 30 oct 2008
Línea 1:		Línea 1:
−	~~<meta name="verify-v1" content="jnLuGK1oMQMoc9awiDMsOPpV1F0uY8aZhBj31ZftfzM=" />~~
	The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the application of algebraic methods (Gröbner basis) to deduction in multivalued logics.		The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the application of algebraic methods (Gröbner basis) to deduction in multivalued logics.

← Revisión anterior		Revisión del 07:48 30 oct 2008
Línea 1:		Línea 1:
		+	<meta name="verify-v1" content="jnLuGK1oMQMoc9awiDMsOPpV1F0uY8aZhBj31ZftfzM=" />
	The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the application of algebraic methods (Gröbner basis) to deduction in multivalued logics.		The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the application of algebraic methods (Gröbner basis) to deduction in multivalued logics.

@@ Línea 3: / Línea 3: @@
 In the first half of the nineties, our work was centred around the [http://www-unix.mcs.anl.gov/AR/otter/ OTTER] theorem prover, [http://rewriting.loria.fr/ term rewriting systems] and [http://www.afm.sbu.ac.uk/logic-prog/ logic programming].
-In the second half of the nineties, we started to apply algebraic methods to the [http://www.csd.abdn.ac.uk/~apreece/Research/KQpage.html verification of knowledge-based systems]. In 1997, we begun our project to apply [http://www.afm.sbu.ac.uk/ formal methods] to the verification of [http://www-formal.stanford.edu/clt/ARS/systems.html reasoning systems]. Using [http://www.cs.utexas.edu/users/moore/acl2/ ACL2] we have developed a number of basic [[computational theories]] for automated deduction.
+In the second half of the nineties, we started to apply algebraic methods to the [http://www.csd.abdn.ac.uk/~apreece/Research/KQpage.html verification of knowledge-based systems]. In 1997, we begun our project to apply [http://www.afm.sbu.ac.uk/ formal methods] to the verification of [http://www-formal.stanford.edu/clt/ARS/systems.html reasoning systems]. Using [http://www.cs.utexas.edu/users/moore/acl2/ ACL2] we have developed a number of basic [[Theories|computational theories]] for automated deduction.
 Currently, the group is formed by seven [[Group members|members]]. Our main research interests are: