Search academic resources

Subjects / keywords: GANS, ERIC; UNIVERSITY OF CALIFORNIA PRESS; 401 G199o

The need for improving software processes approximated the software engineering and artificial intelligence areas. Artificial intelligence techniques have been used as a support to software development processes, particu...

Natural language understanding systems require a knowledge base provided with formal representations reflecting the structure of human beings' cognitive system. Although surface semantics can be sufficient in some other ...

In the past four decades Native American/First Nations Literature has emerged as a literary and academic field and it is now read, taught, and theorized in many educational settings outside the United States and Canada. ...

The body against the wall is a reading of the representations of the human body in the graffiti image with the lenses of the history of art, aesthetics, sociology and literature; Explored with the purpose of trying to un...

In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Bas...

The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managi...

There exists a large amount of knowledge representation models. But most of them have significant limitations at the epistemic level. They do not have explanatory power. Most of them do not have means to represent some f...

An important challenge when studying the semantics2 of programming languages is understanding the way syntactical constructions in high-level programming languages produce algorithms that are bound to the underlying virt...

Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory in...

Lawyers often need to look for previous similar legal cases when analysing new ones. The more previous cases, the more time is spent. Classical search engines execute termbased retrieval, which may miss relevant documen...

Knowledge representation models are very important in the design of intelligent agents because they provide with mechanisms to manage beliefs and their dynamics. In this paper, we propose the use of AnsProlog* as a knowl...

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision w...

The Semantic Web is a future vision of the current web in which the resources have exact meaning. The meaning of resources is given by means of ontology definitions. When these ontologies are defined in isolation, the un...

Este trabalho apresenta o desenvolvimento do EduLing: software educacional para auxilio a aprendizagem de Linguagens Regulares, um tema pertinente ao estudo das Linguagens Formais. O software possibilita ao aluno experim...

The importance of correctly determining the requirements of a system at the very beginning of the development process it is a well known fact. Experience shows that the incorrect definition of the requirements leads to t...

In many applications oftemporal reasoning is necessary to express metric and symbolic temporal constraints among temporal objects whether they are points or intervals. In order to cope with these requirements different f...

Information systems play an ever-increasing key role in our society. In particular, data intensive applications are in constant demand and there is need of computing environments with much more intelligent capabilities t...

Uniform Resource Identifiers are an integral part of the current Architecture of theWorldWideWeb, as well as the Semantic Web initiative. This work analyzes the implications and possibilities of using Universal Resource...

Webservices technology is one of the stilts on which the concept WEB 2.0 is sustained. This technology allows to send information between computers connected to the network, providing a high portability level communicati...

El presente trabajo da continuidad a la modelización teórica de la Didáctica de la Algoritmia para la Programación iniciada por el GIDMyA2, en la búsqueda de mejorar los procesos instruccionales de esa disciplina. E...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities, an internal state, a set of input variables ...

In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Buil...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities an internal state, a set of input variable th...