9,309 Hits in 3.2 sec

Web Services Based on Prolog and Xml [chapter]

Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel
2005 Lecture Notes in Computer Science  
This facilitates the use of PROLOG as a component of distributed information systems and in many new application scenarios.  ...  Since a lot of information available on the Internet is nowadays XML based and since Web service technologies use XML based encodings, it is both necessary and useful to be able to process XML documents  ...  Most modern information systems use such a Web based architecture. Tools like application servers simplify the development of Web based information systems at the server side.  ... 
doi:10.1007/11415763_16 fatcat:phcoy7s2j5dhpisvwyuswjox2e

ALICE Expert System

C Ionita, F Carena
2014 Journal of Physics, Conference Series  
At its core, a Prolog engine infers whether a Physics or a technical run can be started based on the current state of the underlying sub-systems.  ...  A separate C++ component queries certain SMI objects and stores their state as facts in a Prolog knowledge base.  ...  Our system extracts information from the configuration databases and the logging system, and then dynamically builds a Prolog knowledge base.  ... 
doi:10.1088/1742-6596/523/1/012005 fatcat:ia6ujry3tvgh7la7vemyfxm66y

Interactive Text Graph Mining with a Prolog-based Dialog Engine [article]

Paul Tarau, Eduardo Blanco
2020 arXiv   pre-print
On top of a neural network-based dependency parser and a graph-based natural language processing module we design a Prolog-based dialog engine that explores interactively a ranked fact database extracted  ...  Additionally, after ranking the graph we take advantage of the implicit semantic information that dependency links and WordNet bring in the form of subject-verb-object, is-a and part-of relations.  ...  Logic Programming Systems for Natural Language Processing A common characteristic of Prolog or ASP-based NLP systems is their focus on closed domains with domain-specific logic expressed in clausal form  ... 
arXiv:2008.00956v1 fatcat:qoljxqczq5b2ljxbgfur3x7tee

PIDoc: Wiki style Literate Programming for Prolog [article]

Jan Wielemaker, Anjo Anjewierden
2007 arXiv   pre-print
This document introduces PlDoc, a literate programming system for Prolog.  ...  Immediate reward is provided by a web interface powered from the Prolog development environment that integrates searching and browsing application and system documentation.  ...  Comments from the SWI-Prolog user community have helped fixing bugs and identifying omissions in the functionality.  ... 
arXiv:0711.0618v1 fatcat:ncnv4ol23bcidoemjwsmmogbua

KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing [article]

Jana Kittelmann, Christoph Wernhard
2019 arXiv   pre-print
KBSET supports a practical workflow for scholarly editing, based on using LaTeX with dedicated commands for semantics-oriented markup and a Prolog-implemented core system.  ...  The core system includes a LaTeX parser and a facility for the identification of named entities.  ...  Main Components of the Prolog-Based Core System Main components of the KBSET core system are a L A T E X parser, a certain approach to integrate large fact bases for efficient access, and a subsystem for  ... 
arXiv:1908.11135v1 fatcat:rvl3nx3cgvhhjllpdf4ap7ulq4

Evolution of Artificial Intelligence Programming Languages - a Systematic Literature Review

Emmanuel Adetiba, Temitope M. Adeyemi-Kayode, Adekunle A. Akinrinmade, Funmilayo S. Moninuola, Oladipupo O. Akintade, Joke A. Badejo, Obiseye O. Obiyemi, Surendra Thakur, Abdultaofeek Abayomi
2021 Journal of Computer Science  
During the review period, the PROLOG programming language received the most attention in about 49% of publications; this was followed by LISP, which received almost 22%.  ...  To analyze the state-of-theart of research in AI, we present a systematic literature review focusing on the Evolution of AI programming languages.  ...  Used in Martin et al. 1987 Information Technology representation of a nursing Research Centre, knowledge base.  ... 
doi:10.3844/jcssp.2021.1157.1171 fatcat:mdhkoxquwbampald7fubipyz6e

Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval [article]

Paul Tarau, Eduardo Blanco
2019 arXiv   pre-print
We take advantage of the implicit structural information that dependency links bring to extract subject-verb-object, is-a and part-of relations.  ...  We build a bridge between neural network-based machine learning and graph-based natural language processing and introduce a unified approach to keyphrase, summary and relation extraction by aggregating  ...  We have organized our Python-based abstract and keyphrase extraction algorithm together with the Prolog-based dialog engine into a unified system.  ... 
arXiv:1909.09742v1 fatcat:rnzo5xo22regbgjx3xegmsdbcu

A Methodology to Create Legal Ontologies in a Logic Programming Based Web Information Retrieval System

José Saias, Paulo Quaresma
2004 Artificial Intelligence and Law  
Web legal information retrieval systems need the capability to reason with the knowledge modeled by legal ontologies.  ...  An application of the proposed methodology to the legal web information retrieval system of the Portuguese Attorney General's Office is described.  ...  There is also the need for a rule linking the system intentions and the accesses to the databases: The first rule defines that, if the system intends to inform the user about some property, then it will  ... 
doi:10.1007/s10506-005-4162-1 fatcat:bv4an56zfvffnpg5iaos3wifoy

A Methodology to Create Ontology-Based Information Retrieval Systems [chapter]

José Saias, Paulo Quaresma
2003 Lecture Notes in Computer Science  
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases.  ...  In this paper a methodology to automatically create ontologies and class instances from documents is proposed.  ...  Introduction Modern information retrieval systems need the capability to represent and to reason with the knowledge conveyed by text bases.  ... 
doi:10.1007/978-3-540-24580-3_49 fatcat:g7baxqkoirezzpe7zcmkejcqyu

ActionScript In-Lined Reference Monitoring in Prolog [chapter]

Meera Sridhar, Kevin W. Hamlen
2010 Lecture Notes in Computer Science  
A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework for implementing IRM's.  ...  This results in a smaller trusted computing base for the overall system.  ...  Conclusion We have presented an elegant Prolog implementation of a certifying IRM system for ActionScript.  ... 
doi:10.1007/978-3-642-11503-5_13 fatcat:n7ehcuquubhmdgsrtiagoctyfq

Characterisation of Knowledge Bases [chapter]

Derek Sleeman, Yi Zhang, Wamberto Vasconcelos
2004 Applications and Innovations in Intelligent Systems XI  
Additionally, a series of filters, which check if a KB has particular characteristics have been implemented. This paper describes both the Identify-Knowledge Base system and these filters.  ...  It matches concepts extracted from a particular knowledge base against some reference taxonomy, where the taxonomy can be pre-stored or extracted from ontologies which are either stored on the local machine  ...  The ExtrAKT system from Edinburgh [2] can analyse a Prolog knowledge base, and extracts all the KB's predicates.  ... 
doi:10.1007/978-1-4471-0643-2_17 dblp:conf/sgai/SleemanZV03 fatcat:ah6b7p3qsjdexop3mrdz2ejm6i

Architecture Reconstruction in Practice [chapter]

Claudio Riva
2002 IFIP Advances in Information and Communication Technology  
ACKNOWLEDGEMENTS This work is supported by the CAFE Project (from Concept to Application in system-Family Engineering), EUREKA 202311TEA -ip00004,  ...  Extraction of Static Information We extract a source code model with an ad hoc analyser and present the output as a set of Prolog facts.  ...  Below is a sample of the information extracted by the code analyser.  ... 
doi:10.1007/978-0-387-35607-5_10 fatcat:on5l63amhzflbl44ll2ssw5f6m

Source Code Verification for Embedded Systems using Prolog

Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro
2017 Electronic Proceedings in Theoretical Computer Science  
A rule-based approach with Prolog allows to characterize the verification goals in a concise and declarative way.  ...  In this paper, we describe our approach to verify the source code of a flash file system with the help of Prolog.  ...  Secondly, declarative Prolog rules match graph patterns of method calls within the AST and extract information about method calls into a call graph (CG).  ... 
doi:10.4204/eptcs.234.7 fatcat:pn3fcl7xqbgo5jati2koabmcii


Luke Deshotels, Razvan Deaconescu, Mihai Chiroiu, Lucas Davi, William Enck, Ahmad-Reza Sadeghi
2016 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16  
We propose the SandScout framework to extract, decompile, formally model, and analyze iOS sandbox profiles as logic-based programs.  ...  In addition to these protections, iOS uses a generic sandbox profile called "container" to confine malicious or exploited third-party applications.  ...  ACKNOWLEDGMENTS We thank Adwait Nadkarni, Micah Bushouse, Ben Andow, Isaac Polinsky, Akash Verma, and the Wolfpack Security and Privacy Research (WSPR) lab as a whole for their helpful comments.  ... 
doi:10.1145/2976749.2978336 dblp:conf/ccs/DeshotelsDCDES16 fatcat:u6bcwcwcavbqbituckjahcz6si

From User Stories to UML Diagrams Driven by Ontological and Production Model

Samia Nasiri, Yassine Rhazali, Mohammed Lahmer, Amina Adadi
2021 International Journal of Advanced Computer Science and Applications  
To extract the design elements, the prolog rules used dependencies offered by Stanford core NLP.  ...  Prolog rules are used to extract relationships between classes and eliminate those that are at risk of error.  ...  As a user, I am able to edit account information. 336 | P a g e Our tool with the help of the Stanford NLP tool and prolog rules allows extracting two use cases: "change account information  ... 
doi:10.14569/ijacsa.2021.0120637 fatcat:yxgkah3iarbpjo5rlrq4vv6vdq
« Previous Showing results 1 — 15 out of 9,309 results