Results 121 to 130 of about 351,573 (182)
Some of the next articles are maybe not open access.
Logics in Artificial Intelligence
2012International audience ; This volume contains the papers selected for presentation at JELIA 2012. Competition was very high this year. We received 107 submissions from 31 countries (97 regular papers and 10 system descriptions). Only 36 regular papers and 5 system descriptions were selected for inclusion in the proceedings.
Fariñas del Cerro, Luis +2 more
openaire +2 more sources
Editorial – Artificial Intelligence in Logic Design
Artificial Intelligence Review, 2003This issue represents a collection of selected “pieces” created by “masters” in the area of logic design. Although relatively few people in the world participate in the research on artificial intelligence aspects of digital design, this is no impairment to the truly original research.
openaire +1 more source
Logics in Artificial Intelligence
2014This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description
openaire +1 more source
Argument diagramming in logic, law and artificial intelligence
The Knowledge Engineering Review, 2007AbstractIn this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated — informal logic, argumentation theory, evidence law and legal reasoning — but also more recent work in applying and developing it in computer science and artificial intelligence (AI). Beginning with
Reed, Chris +2 more
openaire +2 more sources
Application of temporal LNC logic in artificial intelligence
SPIE Proceedings, 2016This paper presents the temporal logic inference engine developed in our university. It is an attempt to demonstrate implementation and practical application of temporal logic LNC developed in Cardinal Stefan Wyszynski University in Warsaw.1 The paper describes the fundamentals of LNC logic, architecture and implementation of inference engine.
Marek Adamek, Jan Mulawka
openaire +1 more source
Artificial intelligence in retail: applications and value creation logics
International Journal of Retail & Distribution Management, 2021PurposeThis paper seeks to answer three questions about how retailers can benefit from AI. (1) What are the main strategies for retailers to improve their AI-related data management? (2) How do retailers use AI to provide solutions in business processes? (3) What are the value creation logics of AI applications in retail?Design/methodology/approachData-
openaire +1 more source
Handbook of Logic in Artificial Intelligence and Logic Programming
1994Abstract Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence.
openaire +2 more sources
Temporal Logic in Artificial Intelligence
1985The real world problems which are raised by the formalization of time within the context of artificial intelligence systems are extremely difficult and have been swept under the carpet by many AI researchers for many years. Only over the last few years has there been an increasing interest for time related problems and really hard problems have been ...
openaire +1 more source