Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

A preliminary approach towards a logic for warrant

Tipo de documento: Objeto de conferencia

Resumen

We extend Defeasible Logic Programming for it to be able to warrant complex logical formulas. We show how negation, conjunction, disjunction and implication of ground literals can be tested for warrant. We show a running scenario to test the suitability of the approach.

Notas

XV Workshop de Agentes y Sistemas Inteligentes

Información general

Fecha de exposición: octubre 2014
Fecha de publicación: 2014
Idioma del documento: Inglés
Evento: XX Congreso Argentino de Ciencias de la Computación (Buenos Aires, 2014)
Institución de origen: Red de Universidades con Carreras de Informática (RedUNCI)

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (259.1Kb) - PDF
 
Creado el: 6 de noviembre de 2014
Disponible en SEDICI desde: 6 de noviembre de 2014
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/42422

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)