s(CASP) is related to ASP. Unlike ASP, which is traditionally solved using grounding and a SAT solver, s(CASP) is solved using top-down goal directed search without grounding. This allows s(CASP) to solve problems tha...
详细信息
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS combines a set of entities with a set of reactions over them. Entities can be provided by an external context, used ...
详细信息
Citation recommendation focuses on recommending references to the given document automatically. While the existing works have achieved improvements in citation recommendation, their quality may still be degraded due t...
详细信息
Citation recommendation focuses on recommending references to the given document automatically. While the existing works have achieved improvements in citation recommendation, their quality may still be degraded due to the cold-start problem or insufficient use of features. To alleviate these problems, we investigate the possibility of fully utilizing a document's features from different dimensions. Specifically, we present a citation recommendation model based on Siamese BERT and Knowledge Graph (CRM-SBKG), a mixture model that mines the text feature and entity feature to obtain the recommendation list. We use the BERT model with the Siamese network for text feature extraction and build a citation knowledge graph where entity feature is extracted. We apply the proposed model on Open Academic Graph (OAG) and DataBase systems and logic programming (DBLP). The results show that our model outperforms the baselines significantly. It reflects that the proposed model can extract features more effectively and make better citation recommendations.
We recently proposed Acceleration Driven Clause Learning (ADCL), a novel calculus to analyze satisfiability of Constrained Horn Clauses (CHCs). Here, we adapt ADCL to disprove termination of transition systems, and we...
详细信息
Solving Constrained Horn Clauses (CHCs) is a fundamental challenge behind a wide range of verification and analysis tasks. To enhance CHC solving without the laborious task of manual heuristic creation and tuning, dat...
详细信息
Answer set programming (ASP) is a declarative logic programming paradigm geared towards solving difficult combinatorial search problems. While different logic programs can encode the same problem, their performance ma...
详细信息
In this paper the authors describe their approach towards motivating students in the learning of logic programming is given. The focus here of the authors is on real world applications. Nowadays, where internet applic...
详细信息
ISBN:
(纸本)9781467352611
In this paper the authors describe their approach towards motivating students in the learning of logic programming is given. The focus here of the authors is on real world applications. Nowadays, where internet applications are still a hot topic, the development of projects related to internet applications are quite strongly motivated. Unfortunately, many of the resources used in logic programming that help us to explore the development of programs for internet purposes are not so freely available. The authors therefore had to develop much of the material used in order to be understood by first year university students, who were in fact the target group. Preliminary results showed an augmented interest in the learning of such concepts and as a result an increase in the pass rate was achieved.
Specific occupational construction safety, health, and well-being related knowledge and information are scattered and fragmented. Despite technological advancements of information and knowledge management, a link betw...
详细信息
Specific occupational construction safety, health, and well-being related knowledge and information are scattered and fragmented. Despite technological advancements of information and knowledge management, a link between safety management and information models is still missing. In this paper we present first steps towards a unifying formal (logic-based) domain model of construction safety, called SafeConDM, that consists of: (1) a semantically rich ontology of hazard, safety concepts, and concept relationships that builds on, and integrates with, existing construction safety ontologies and building information models;(2) a set of first-order if-then rules linking construction site states with the potential for specific hazards to occur that we define in a novel way using spatial artefacts. We present a prototype software tool, based on our ASP4BIM tool that implements SafeConDM for construction hazard analysis and safe construction planning decision support, and empirically evaluate our tool on three real-world construction building models.
Inspired by recent research in explainable planning, we investigate the model reconciliation problem between two logic programs πa and πh, which represent the knowledge bases of an agent and a human, respectively. G...
详细信息
In this paper I explore a further option for solving B constraints. In particular, I develop a framework translating B predicates to s(CASP), a goal-directed form of Answer Set programming. Furthermore, the presented ...
详细信息
暂无评论