Search Results

Large Language Models (LLMs) were used to assist four Commonwealth Scientific and Industrial Research Organisation (CSIRO) researchers to perform systematic literature reviews (SLR). We evaluate the performance of LLMs for SLR tasks in these case ...

The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing systems ...$\mathcal{}$

Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. ...$\mathcal{}$

An approach to simulating and analysing sensor events in a boxed beef supply chain is presented. The simulation component reflects our industrial partner’s transport routes and parameters under normal and abnormal conditions. The simulated transport ...

This paper describes a method of computing plausible states of a system as a logical model. The problem of analyzing state-based systems as they evolve over time has been studied widely in the automated reasoning community (and others). This paper ...

Model generation is a problem complementary to theorem proving and is important for fault analysis and debugging of formal specifications of security protocols, programs and terminological definitions, for example. This paper discusses several ...

SMART is an open source web application designed to help data scientists and research teams efficiently build labeled training data sets for supervised machine learning tasks. SMART provides users with an intuitive interface for creating labeled data ...

This work presents a systematic approach to investigate transistor reliability at high frequencies with on-chip stress circuits. The problem of state-of-the art on-chip stress circuits is that the actual stress signal at the device cannot be verified by ...

Getting started with Django is easy. There are tutorials and books that literally walk you through the process of getting your first site up and running. Taking that code from your laptop to the real world is like opening pandoras box. Should I use ...

Patterns are abstractions of multiple instances to a core invariant structure of the solution. But what level of abstractions to choose? As each abstraction means a loss of information, we need to think about which abstractions are justified to have ...

Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are "reasonably complete" ...

NICTA is Australia's Information and Communications Technology (ICT) Centre of Excellence. It is the largest organization in Australia dedicated to ICT research. While it has close links with local universities, it is in fact an independent but not‐for‐...

In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper, we show how to integrate a modern treatment of equality in the Model Evolution calculus (ME), a first-order version of the ...

The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logic, which in turn has enabled the ...

We present a new calculus for first-order theorem proving with equality, $ \mathcal{ME}+$ Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality) by integrating their inference rules and redundancy criteria in a non-...

Many applications of automated deduction require reasoning modulo background theories, in particular some form of integer arithmetic. Developing corresponding automated reasoning systems that are also able to deal with quantified formulas has recently ...

Like a shop window facing the street and displaying delicate or valuable articles, an electronic portfolio showcase required skills of students and demonstrates that they understand how to apply their prowess. However, the work with electronic ...

This is a paper about how to transfer design patterns from architecture and software engineering to education. It is about the nature of pedagogical patterns -- what specific structures they have -- and about the potential of Christopher Alexander's ...