Suchergebnisse - compliance checking logic programming argumentation

Efficient compliance checking of RDF data

Autoren: Livio Robaldo Francesco Pacenza Jessica Zangari et al.

Quelle: Journal of Logic and Computation. 33:1753-1776

Schlagwörter: compliance checking logic programming argumentation, 0202 electrical engineering, electronic engineering, information engineering, compliance checking, rdf, data, krr, answer set programming, asp, logic, logics, 06 humanities and the arts, 02 engineering and technology, 16. Peace & justice, 0603 philosophy, ethics and religion

Dateibeschreibung: application/pdf

Zugangs-URL: https://cronfa.swan.ac.uk/Record/cronfa63627/Download/63627__27918__745a4a5f78d44da4a5ce7b711d86130a.pdf

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.

Autoren: Robaldo, Livio Batsakis, Sotiris Calegari, Roberta et al.

Quelle: Artificial Intelligence & Law; Jun2024, Vol. 32 Issue 2, p505-555, 51p

Schlagwörter: REASONING, FIRST-order logic, TECHNOLOGY, MACHINE learning

Patterns for legal compliance checking in a decidable framework of linked open data.

Autoren: Francesconi, Enrico Governatori, Guido

Quelle: Artificial Intelligence & Law; Sep2023, Vol. 31 Issue 3, p445-464, 20p

Schlagwörter: SEMANTIC Web, LINKED data (Semantic Web), DEONTIC logic, SEMANTIC integration (Computer systems), SEMANTIC computing

On Dynamics in Structured Argumentation Formalisms.

Autoren: Rapberger, Anna Ulbricht, Markus

Quelle: Journal of Artificial Intelligence Research; 2023, Vol. 77, p563-643, 81p

Schlagwörter: SEMANTICS, LOGIC programming, ARTIFICIAL intelligence, INTERNET in public administration, MATHEMATICAL equivalence

Model Validation Using Invariant Signatures and Logic-Based Inference for Automated Building Code Compliance Checking.

Autoren: Wu, Jin Zhang, Jiansong

Quelle: Journal of Computing in Civil Engineering; May2022, Vol. 36 Issue 3, p1-14, 14p

Schlagwörter: MODEL validation, DATA mining, BUILDING information modeling, TEST methods

Automated legal reasoning with discretion to act using s(LAW).

Autoren: Arias, Joaquín Moreno-Rebato, Mar Rodriguez-García, Jose A. et al.

Quelle: Artificial Intelligence & Law; Dec2024, Vol. 32 Issue 4, p1141-1164, 24p

Schlagwörter: COMPUTER programming, ADMINISTRATIVE discretion (Law), LEGAL opinions, LOGIC programming, AMBIGUITY

A SHACL-Based Approach for Enhancing Automated Compliance Checking with RDF Data.

Autoren: Anim, Joseph Robaldo, Livio Wyner, Adam Z.

Quelle: Information; Dec2024, Vol. 15 Issue 12, p759, 27p

Schlagwörter: SEMANTIC Web, ONLINE education, KNOWLEDGE representation (Information theory), SOURCE code, PETROLEUM industry, RDF (Document markup language)

Efficient compliance checking of RDF data.

Autoren: Robaldo, Livio Pacenza, Francesco Zangari, Jessica et al.

Quelle: Journal of Logic & Computation; Dec2023, Vol. 33 Issue 8, p1753-1776, 24p

Schlagwörter: RDF (Document markup language), ARTIFICIAL intelligence, SCIENTIFIC community, ELECTRONIC data processing, RESEARCH implementation, CHECKERS

Fifty Years of Prolog and Beyond.

Autoren: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO et al.

Quelle: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

Schlagwörter: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

An Argumentation-Driven Model for Flexible and Efficient Persuasive Negotiation.

Autoren: Bentahar, Jamal Labban, Jihad

Quelle: Group Decision & Negotiation; Jul2011, Vol. 20 Issue 4, p411-435, 25p

Schlagwörter: NEGOTIATION, LOGIC programming, COMPUTER software, CONCEPTS, INTELLIGENT agents, GAME theory, VIDEO games

AI Applications to the Law Domain in Japan.

Autoren: NITTA, Katsumi SATOH, Ken

Quelle: Asian Journal of Law & Society; Nov2020, Vol. 7 Issue 3, p471-494, 24p

Schlagwörter: EXPERT systems, LOGIC programming, MACHINE learning, TECHNOLOGY & law

Geografische Kategorien: JAPAN

On the Role of Argumentation in Opinion Analysis.

Autoren: Mikheyenkova, M. A. Finn, V. K.

Quelle: Pattern Recognition & Image Analysis; Sep2023, Vol. 33 Issue 3, p407-412, 6p

Dischargeable Obligations in the CIFF Framework.

Autoren: Alberti, Marco Gavanelli, Marco Lamma, Evelina et al.

Quelle: Fundamenta Informaticae; 2020, Vol. 176 Issue 3/4, p321-348, 28p

Schlagwörter: LOGIC programming, EXPECTATION (Psychology), DEONTIC logic, RESPONSIBILITY, CONSTRAINT programming

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Autoren: Naeem Khalid Janjua

Resource Type: eBook.

Schlagworte: Semantic computing, Logic programming, Semantic Web

Categories: COMPUTERS / Artificial Intelligence / General, BUSINESS & ECONOMICS / Operations Research, BUSINESS & ECONOMICS / E-Commerce / General, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General, TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / Electronic Commerce

Dynamics of knowledge in DeLP through Argument Theory Change.

Autoren: MOGUILLANSKY, MARTÍN O. ROTSTEIN, NICOLÁS D. FALAPPA, MARCELO A. et al.

Quelle: Theory & Practice of Logic Programming; Nov2013, Vol. 13 Issue 6, p893-957, 65p

Schlagwörter: DEFEASIBLE reasoning, LOGIC programming, ALGORITHMS, NONMONOTONIC logic, KNOWLEDGE representation (Information theory)

Obligation as Optimal Goal Satisfaction.

Autoren: Kowalski, Robert Satoh, Ken

Quelle: Journal of Philosophical Logic; Aug2018, Vol. 47 Issue 4, p579-609, 31p

Schlagwörter: DEONTIC logic, SEMANTICS, FORMALIZATION (Philosophy), SATISFACTION, LOGIC programming

Enabling reasoning with LegalRuleML.

Autoren: LAM, HO-PUN HASHMI, MUSTAFA

Quelle: Theory & Practice of Logic Programming; Jan2019, Vol. 19 Issue 1, p1-26, 26p

Schlagwörter: NATURAL language processing, LEGAL reasoning, DEONTIC logic, DEFEASIBLE reasoning, XML (Extensible Markup Language)

Expressing and Verifying Business Contracts with Abductive Logic Programming.

Autoren: Alberti, Marco Chesani, Federico Gavanelli, Marco et al.

Quelle: International Journal of Electronic Commerce; Summer2008, Vol. 12 Issue 4, p9-38, 30p, 1 Diagram, 6 Charts

Schlagwörter: COMPUTER programming, ELECTRONIC contracts, CONTRACTS, CONFIRMATION (Logic), PREDICATE (Logic), INFORMATION theory, TRANSITION rules, CONTRACT method, LEGAL instruments

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.

Autoren: Chesani, Federico Mello, Paola Montali, Marco et al.

Quelle: Multiagent & Grid Systems; 2010, Vol. 6 Issue 2, p165-190, 26p, 4 Diagrams, 5 Charts

Schlagwörter: SERVICE-oriented architecture (Computer science), LOGIC programming, COMPUTER programming, PROGRAMMING languages, MULTIAGENT systems, COMPUTER network architectures

Revisiting the Role of Review Articles in the Age of AI-Agents: Integrating AI-Reasoning and AI-Synthesis Reshaping the Future of Scientific Publishing.

Autoren: Thurzo, Andrej Varga, Ivan

Quelle: Bratislava Medical Journal / Bratislavské Lekárske Listy; Apr2025, Vol. 126 Issue 4, p381-393, 13p

Schlagwörter: GENERATIVE artificial intelligence, LANGUAGE models, LIFE sciences, SCIENTIFIC knowledge, SCIENTIFIC literature, ORTHOGRAPHY & spelling