Veronica Dahl

AI Magazine

The 1993 International Logic Programming Symposium was held in Vancouver, British Columbia, on 26-29 October. It presented the state of the art in logic programming, emphasizing the deliberate interaction with other fields, in particular, humanistic fields. Topics covered at the symposium included algorithmic analysis, programming methodologies, semantic analysis, deductive databases, and programming language design. The years of unrelenting development by these pioneers and other wonderful people have brought the field to a stage of maturity that makes more deliberate interactions with other fields possible and desirable and that gives us enough perspective to consider our field from wider viewpoints, such as the philosophical. The 1993 International Logic Programming Symposium, held in Vancouver, British Columbia, on 26-29 October, presented the state of the art in logic programming and also emphasized these other viewpoints.


The 1993 International Logic Programming Symposium

AI Magazine

The 1993 International Logic Programming Symposium was held in Vancouver, British Columbia, on 26-29 October. It presented the state of the art in logic programming, emphasizing the deliberate interaction with other fields, in particular, humanistic fields. Topics covered at the symposium included algorithmic analysis, programming methodologies, semantic analysis, deductive databases, and programming language design.


Foreword

AAAI Conferences

Computer-based link analysis is increasingly used in law enforcement investigations, insurance fraud detection, telecommunications network analysis, pharmaceuticals research, epidemiology, and a host of other specialized applications. Link analysis explores associations among large numbers of objects of different types. For example, a law enforcement application might examine familial relationships among suspects and victims, the addresses at which those persons reside, and the telephone numbers that they called during a specified period. The ability of link analysis to represent relationships and associations among objects of different types has proven crucial in assisting human investigators to comprehend complex webs of evidence and draw conclusions that are not apparent from any single piece of information. However, there is both a need and opportunity to apply new technologies.



AAAI08-270.pdf

AAAI Conferences

Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.