yusuke1997/dblp-id-title huggingface dataset:
Goal-directed Bottom-up Evaluation of Normal Logic Programs
Abstract Views of Prolog Executions in Opium
Adding Negation-as-Failure to Intuitionistic Logic Programming
A Meta-Level Extension of Prolog
An Intermediate Language to Support Prolog's Unification
A Termination Test for Logic Programs
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors
Top-Down versus Bottom-Up Revisited
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems
Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction
Constraint Programming in Oz (Abstract)
An Approach to Verification in Contextual Logic Programming
Semantical Properties of Encodings in Logic Programming
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut
A Functional Logic Language Based on Canonical Unification
Encapsulated Search for Higher-order Concurrent Constraint Programming
Toward A Foundation of Disjunctive Logic Programming
Is There Anything Better than Magic?
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
From Functional Specifications to Logic Programms
Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs
Expressing Database Queries with Intuitionistic Logic
A Logical Semantics for Depth-First Prolog with Ground Negation
The implementation of AKL(FD)
A pi-calculus Specification of Prolog
On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs
The Sync Model: A Parallel Execution Method for Logic Programming
Efficient Incremental Evaluation of Queries with Aggregation
A Simple Program Transformation for Parallelism
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution
A Logic-Based Tools for Negotiation Support
The Declarative Semantics of Logical Read-Only Variables
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog
Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29 - November 1, 1990
Logic and Objects (Tutorial Abstract)
Joining AND Parallel Solutions in AND/OR Parallel Systems
The LyriC Language: Querying Constraint Objects
On Stable Behaviour of Dynamic Deductive Data Bases
Temporal Logic Programming and its Relation to Constraint Logic Programming
Generation Type Garbage Collection for Parallel Logic Languages
Compile Time Constraint Solving in a Constraint Database System
Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract)
Best-First Search for Property Maintenance in Reactive Constraint Systems
Abstract Interpretation: Towards the Global Optimization of Prolog Programs
Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints
Parsing with PTN
A Distributed Parallel LP System
Prolog Testing of C Modules
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991
Turbo Erlang
Synchronisation in Scc
Semantic Specification Using Logic Programs
Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985
Expanding Query Power in Constraint Logic Programming Languages
A Methodology for Implementation of a Knowledge Acquisition System
Contextualisation of Data Flow Diagrams for Security Analysis
Disclosure Analysis of SQL Workflows
Security Analysis of IoT Systems Using Attack Trees
Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report
Optimizing System Architecture Cost and Security Countermeasures
Asset-Centric Analysis and Visualisation of Attack Trees
Attack Trees: A Notion of Missing Attacks
GroDDViewer: Dynamic Dual View of Android Malware
Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures
Breaking the Cyber Kill Chain by Modelling Resource Costs
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks
Graph Models in Tracking Behaviors for Cyber-Security
A Diagrammatic Approach to Information Flow in Encrypted Communication
Attack-Tree Series: A Case for Dynamic Attack Tree Analysis
Graphical Models for Security - 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers
5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees
Conceptual Abstraction of Attack Graphs - A Use Case of securiCAD
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
Graphical Models for Security - 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Deciding the Non-emptiness of Attack Trees
Library-Based Attack Tree Synthesis
A State Machine System for Insider Threat Detection
Quantifying and Analyzing Information Security Risk from Incident Data
High-Level Automatic Event Detection and User Classification in a Social Network Context
Representing Decision-Makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer
Poster Support for an Obeya-Like Risk Management Approach
On Linear Logic, Functional Programming, and Attack Trees
An Attack Simulation Language for the IT Domain
A Framework for Context-Dependent Augmented Reality Applications Using Machine Learning and Ontological Reasoning
Confirming Changes in Beliefs and Intentions
Participatory Design and Artificial Intelligence: Strategies to Improve Health Communication for Diverse Audiences
Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic
A Gender-Centric Analysis of Calling Behavior in a Developing Economy Using Call Detail Records
An Approach for Automatic Fraud Detection in the Insurance Domain
A Deep Neural Model for Emotion-Driven Multimodal Attention
Responsible Integration of Large Language Models (LLMs) in Navy Operational Plan Generation
Mobile Networks and Conflict Management: Farewell to Privacy?
Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper)
Representations of Time in Symbol Grounding Systems
Designing Evolving Computer Agent Capable of Emotion Recognition and Expression
Effects on Sleep by "Cradle Sound" Adjusted to Heartbeat and Respiration
Stochastic Models of Large-Scale Human Behavior on the Web
Learning Interaction Patterns Using Diagrams Varying in Level and Type of Interactivity
Probabilistic Foundations for Metacognition via Hybrid-AI
EM-algorithm Enpowers Material Science: Application of Inverse Estimation for Small Angle Scattering
Insectile Indices
Good Old Fashioned Automata Theory and the Agents World
How Can I Cook with This: User Experience Challenges for AI in the Home Kitchen
Echo Chamber: A Game for Eliciting a Colloquial Paraphrase Corpus
Position and Perspective of Privacy Laws in India
The Repeated Demise of Logic Programming and Why It Will Be Reincarnated
The Landmark Spider: Representing Landmark Knowledge for Wayfinding Tasks
Agreeing to Disagree: Leveraging Consensus and Divergence in Bayesian Belief Aggregation
GPT-4V Takes the Wheel: Promises and Challenges for Pedestrian Behavior Prediction
Using Deep Learning to Automate Feature Modeling in Learning by Observation: A Preliminary Study
Explainable Deep Feature Embedding Using Multiple Instance Learning for Pathological Image Analysis
Characterizing the Demographics Behind the #BlackLivesMatter Movement
Planning to Explore: Using a Coordinated Multisource Infrastructure to Overcome Present and Future Space Flight Planning Challenges
A Thermal Environment that Promotes Efficient Napping
Towards An Architecture for Representation, Reasoning and Learning in Human-Robot Collaboration
Feasibility of Information Interoperability in the Humanitarian Domain
Why and How to Model Multi-Modal Interaction for a Mobile Robot Companion
Computational Approaches to Analyzing Weblogs, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-03, Stanford, California, USA, March 27-29, 2006
Constructing Bayesian Network in a Changing World
Implementation of Neural Network on Parameterized FPGA
A Social Item Filtering Approach for a Mobile Semantic Desktop Application
Building Knowledge Base for Reading from Encyclopedia
Active Online Learning Architecture for Multimodal Sensor-based ADL Recognition
Automated Mechanism Design in Infinite Games of Incomplete Information: Framework and Applications
Reinforcement Learning and the Reward Engineering Principle
Global Brain That Makes You Think Twice
Beginning to Understand Unstructured, Ungrammatical Text: An Information Integration Approach
Long-Term Acceptance of Social Robots in Domestic Environments: Insights from a User's Perspective
Domain Specific Affective Classification of Documents
Scientific Data and Document Processing in ChemxSeer
Representations for Learning to Summarize Plots
From Demonstrations and Knowledge Engineering to a DNN Agent in a Modern Open-World Video Game
FinMem: A Performance-Enhanced LLM Trading Agent with Layered Memory and Character Design
Towards Natural Cognitive System Training Interactions: A Preliminary Framework
Artifices for Persuading to Improve Eating Habits
OpenWoZ: A Runtime-Configurable Wizard-of-Oz Framework for Human-Robot Interaction
Learning Fast and Slow: A Redux of Levels of Learning in General Autonomous Intelligent Agents
Scene Interpretation for Self-Aware Cognitive Robots
Early Dementia Detection through Conversations to Virtual Personal Assistant
Human-Robot Interaction Studies for Autonomous Mobile Manipulation for the Motor Impaired
Vocabulary Hosting: A Modest Proposal
Conditionals and Action Logics
Enriching a News Portal with Semantic Information: An Entity-Based Approach
SCTAG: A Mildly Context-Sensitive Formalism for Modeling Complex Intentions in Spatially Structured Environments
Human-AI Interaction in the Age of Large Language Models
SEVA: A Systems Engineer's Virtual Assistant
Towards Enabling a Robot to Effectively Assist People in Human-Occupied Environments
Training-Free Mitigation of Language Reasoning Degradation After Multimodal Instruction Tuning
Components of the Shape Revisited
Independent Core Observer Model (ICOM) Theory of Consciousness as Implemented in the ICOM Cognitive Architecture and the Associated Consciousness Measures
Learning Temporal Plans from Observation of Human Collaborative Behavior
Improved Forecast with a Combination of Mechanistic and Statistical Predictive Models
Knowledge Based Integration of Sustainability Issues in the (Re)Design Process
Show Me How You Act on a Diagram and I'll Tell You What You Think (or: Spatial Structures as Organizing Schemes in Collaborative Human-Computer Reasoning)
Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, Palo Alto, California, USA, March 25-27, 2019., Stanford University, Palo Alto, California, USA, March 25-27, 2019
An Interactive Monitoring Robot for Dementia Mitigation via Daily Conversations with Multiple LLMs
Treat Everyone Fairly: A Model of Unbiased and Explainable Algorithmic Decision Making
Knowledge Design - Towards an Inclusive, AI Design Practice
Generalized Physics-Informed Learning through Language-Wide Differentiable Programming
Activity Recognition with Time-Delay Emobeddings
From Insights to Interventions: Informed Design of Discussion Affordances for Natural Collaborative Exchange
Autonomous Agents and Human Interpersonal Trust: Can We Engineer a Human-Machine Social Interface for Trust?
Using Volunteers to Annotate Biomedical Corpora for Anaphora Resolution
Expressing Preferences Declaratively in Logic-based Agent Languages
Meta-Agents: Managing Dynamism in the Internet of Things (IoT) with Multi-agent Networks
GLaM: Fine-Tuning Large Language Models for Domain Knowledge Graph Alignment via Neighborhood Partitioning and Generative Subgraph Encoding
Learning by Reading: Normalizing Complex Linguistic Structures onto a Knowledge Representation
Predictive Analysis for Social Processes
Making BPEL Flexible
Learning Against Non-Stationary Agents with Opponent Modelling and Deep Reinforcement Learning
Survival Analysis for Cancers of the Brain, CNS and Bone using Retrieval Augmented Generation on the SEER Database
Approximate Sufficient Statistics for Team Decision Problems
Designing a "Shikake" to Revitalize Local Community: A Case of Miyakejima University Project
Cultural Evolution Entails (Creativity Entails (Concept Combination Entails Quantum Structure))
Multidisciplinary Collaboration for Socially Assistive Robotics, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-07, Stanford, California, USA, March 26-28, 2007
LSTMs for Inferring Planetary Boundary Layer Height (PBLH)
Serious Gaming for Predictive Analytics
A Qualitative Model for Natural Language Communication about Vehicle Traffic
Discovery of Physics and Characterization of Microstructure from Data with Bayesian Hidden Physics Models
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks - A Survey
Defeasible Laws, Parallel Actions, and Reasoning about Resources
Adjusting the Novelty Thermostat: Courting Creative Success through Judicious Randomness
Longitudinal Remote Follow-Up by Intelligent Conversational Agents for Post-Hospitalization Care
Machine Learning on Simulated and Real Farm Data Based on an Ontology-Controlled Data Infrastructure
Reading to Learn: An Investigation into Language Understanding
Evaluation of Machine Learning Algorithms in a Human-Computer Hybrid Record Linkage System
Beat-by-Beat Getting Fit: Leveraging Pervasive Self-Tracking of Heart Rate in Self-Management of Health
DeepVariant: Deep Learning for Genomic Variant Calling
Analogy, Intelligent IR, and Knowledge Integration for Intelligence Analysis
Human-Enabled Microscopic Environmental Mobile Sensing and Feedback
Voluntary Contributions of Unaware Internet Users? On Automatic Knowledge Retrieval from the WWW
Business Listing Classification Using Case Based Reasoning and Joint Probability
A Serious Game for the Illumination of Alternative Fuel and Vehicle Transitions
A Blackboard-based Approach Towards Predictive Analytics
Identifying and exploiting influential training examples
Model Unification in Support of Political Process
A Portable Navigation System with an Adaptive Multimodal Interface for the Blind
On the Capabilities of Logic Tensor Networks for Deductive Reasoning
Situation-based Robot Design
Principles for Knowledge Engineering on the Web
Artificial Agency Requires Attention: The Case of Intentional Action
Work Representations for Evaluating and Modeling Human-Machine Systems
Towards Hybrid Intelligent Support Systems for Emergency Call Handling
Multi-Criterion Client Selection for Efficient Federated Learning
Getting Up to Speed on Vehicle Intelligence
How Representations and Strategies Influence Design Spatial Problem Solving
Towards Territorial Privacy in Smart Environments
Robotics and AI as a Motivator for the Attraction and Retention of Computer Science Undergraduates in Canada
Evolution of Conscious AI in the Hive: Outline of a Rationale and Framework for Study
Collective Modeling of Human Social Behavior
Creating Analogy-Based Interpretations of Blended Noun Concepts
Modularity as a Means for Complexity Management in Neural Networks Learning
Guiding Parameter Estimation of Agent-Based Modeling Through Knowledge-Based Function Approximation
Agile Process Management: Framework and Methodology
How to Handle Wellbeing in Socially Responsible AI? - Findings from Sleep Perspective -
Using Crowdsourcing to Improve Profanity Detection
The Devil's Triangle: Ethical Considerations on Developing Bot Detection Methods
Toward Geometrical Robustness with Hybrid Deep Learning and Differential Invariants Theory
Policies for Active Learning from Demonstration
Development of a Background Knowledge-Base about Shipping and Smuggling
Leverage White-Collar Workers with AI
Curricula and Metrics to Investigate Human-Like Learning
Wrap Contracts and Privacy
Usage-Based Grounded Construction Learning - A Computational Model
Design Patterns and Cross-Domain Analogies in Biologically Inspired Sustainable Design
Organic Crowdsourcing Systems
Using Linked Data to Build Open, Collaborative Recommender Systems
Interactive Drama Authoring with Plot and Character: An Intelligent System that Fosters Creativity
Identifying Tag Word Counterparts for Dr. Math
Encoding Intelligent Agents for Uncertain, Unknown, and Dynamic Tasks: From Programming to Interactive Artificial Learning
Learning to Identify Locally Actionable Health Anomalies
The SRI BioFrustration Corpus: Audio, Video, and Physiological Signals for Continuous User Modeling
Offline RL+CKG: A hybrid AI model for cybersecurity tasks
How Humanlike Should a Social Robot Be: A User-Centered Exploration
Sleep Stage Estimation Through Mattress Sensor
Probabilistic Logic for Multi-Robot Event Recognition
Using Tononi Phi to Measure Consciousness of a Cognitive System While Reading and Conversing
Logic-Based Modeling of Event-Oriented Architectures for the Development of Application Systems
Gender Classification of Weblog Authors
Experts' Adaptation to Healthcare Consumers' Language and Understanding: A Psycholinguistic Approach on Online Health-Advice
Turing-like Experiment in a Cyber Defense Game
An Efficient Heuristic for Security against Multiple Adversaries in Stackelberg Games
Incorporating Variable Vascular Heat Exchangers Into Models Of Human Thermoregulation
Human Caused Bifurcations in a Hybrid Team - A Position Paper
Beyond the Elves: Making Intelligent Agents Intelligent
Developing Robots that Recognize When They Are Being Trusted
Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic
Progress for Ontology of Fractures and Faults
The AI Community and the United Nations: A Missing Global Conversation & A Closer Look at Social Good
Valuable Information and the Internet of Things
A Bayesian Framework for Robust Reasoning from Sensor Networks
Diversity, Equity, and Inclusion, and the Deployment of Artificial Intelligence Within the Department of Defense
Fairness in Combinatorial Auctioning Systems
Electric Elves: What Went Wrong and Why
Drumming with a Humanoid Robot: Lessons Learnt from Designing and Analysing Human-Robot Interaction Studies
Integrating Service Learning with Undergraduate Robotics Research
Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-05, Stanford, California, USA, March 23-25, 2009
Influence of the "Internet of Things" on Legislation Regarding the Protection of Individual Privacy
Viewing Machines as Teammates: A Qualitative Study
Individual Differences in Social Media Use Are Reflected in Brain Structure
DOLCE ROCKS: Integrating Geoscience Ontologies with DOLCE
Towards a Semantic Framework for Business Activity Monitoring and Management
Cognitive Twin: A Cognitive Approach to Personalized Assistants
Building and Maintaining Trust Between Humans and Guidance Robots in an Emergency
Toward an Advice Agent for Diet and Exercise Based on Diary Texts
Using Artificial Intelligence to Learn the Tradeoffs Made by Individual Agents in Order to Sustain Economic Well-Being
Societal Challenges Need Social Agents
Modelling Spatio-Temporal Comprehension in Situated Human-Robot Dialogue as Reasoning about Intentions and Plans
Expressive Logical Framework for Reasoning about Complex Events and Situations
Faithful Reasoning over Scientific Claims
Data Sources for Advancing Cyber Forensics: What the Social World Has to Offer
Communicating Unnamable Risks: Aligning Open World Situation Models Using Strategies from Creative Writing
Graphical Models for Online Solutions to Interactive POMDPs
Toward the Next-Generation Sleep Monitoring / Evaluation by Human Body Vibration Analysis
Guilt for Non-Humans
Towards Faceted Browsing over Linked Data
Human-Machine Collaborative Systems: Intelligent Virtual Fixtures and Space Applications
Horn Belief Contraction: Remainders, Envelopes and Complexity
Open Affect-Responsive Systems: Toward Personalized AI to Beat Back the Waves of Technostress
Learning to Fire at Targets by an iCub Humanoid Robot
Web Resources Recommendation based on Dynamic Prediction of User Consumption on the Social Web
Extended Physics-informed Neural Networks (XPINNs): A Generalized Space-Time Domain Decomposition based Deep Learning Framework for Nonlinear Partial Differential Equations
Improving Trust Estimates in Planning Domains with Rare Failure Events
AI Technologies for Homeland Security, Papers from the 2005 AAAI Spring Symposium, Technical Report SS-05-01, Stanford, California, USA, March 21-23, 2005
Inference In Text Understanding
Decision Support combining Machine Learning, Knowledge Representation and Case-Based Reasoning
Adaptive Plan Monitoring Systems for Military Decision Support
Computer Aided Strategic Planning for eGovernment Agility
Deductive Planning with Temporal Constraints
SPIDER Attack on a Network of POMDPs: Towards Quality Bounded Solutions
Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, AAAI-MAKE 2020, Palo Alto, CA, USA, March 23-25, 2020, Volume I
From GOODBOT to BESTBOT
Artificial Phenomenology for Human-Level Artificial Intelligence
Analysis of Temporal Propagation Property to Evaluate Gene Regulatory Networks
Learning Dynamical Systems across Environments
Robotics as a Component of a General Education Course
Crowdsourcing Evaluations of Classifier Interpretability
Template Construction Grammar: A Schema-Theoretic Computational Construction Grammar
Distributed Interactive Narrative Planning System
Self-Regulation and Policy in the Spanish Audiovisual Sector: The Catalan Code of Best Practices
Proceedings of the AAAI 2024 Spring Symposium Series, Stanford, CA, USA, March 25-27, 2024
Leveraging Lexical Resources for the Detection of Event Relations
Robotics Olympiads: A New Means to Facilitate Conceptualization of Knowledge Acquired in Robot Projects
Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague Languages
Is the Human Visual System Invariant to Translation and Scale?
Learning from Disagreeing Demonstrators
Learning Action Descriptions with A-Prolog: Action Language C
Generative AI Applications in Helping Children with Speech Language Issues
Combining Sound Localization and Laser-based Object Recognition
What's in a Name? Using First Names as Features for Gender Inference in Twitter
Combining a Mixture of Experts with Transfer Learning in Complex Games
Learning and Engineering Similarity Functions for Business Recommenders and Clustering
Robot Control Based on Qualitative Representation of Human Trajectories
Study on Landscape Ostranenie from the Perspective of Persons Exposed to "Sikake"
MoodViews: Tools for Blog Mood Analysis
Learning Subjective Knowledge with Designer-Like Thinking and Interactive Machine Teaching
Context Classification Using Entropy and Weak Negation: Some Criteria for Good Computational Properties
Daydreaming with Intention: Scalable Blending-Based Imagining and Agency in Generative Interactive Narrative
Incentive Based Cooperation in Multi-Agent Auctions
Practical POMDPs for Personal Assistant Domains
ARO: A Memory-Based Approach to Environments with Perceptual Aliasing
Age-Based Sleep Stage Estimation by Evolutionary Algorithm
Transforming Open-Source Documents to Terror Networks: The Arizona TerrorNet
KINN: Incorporating Expert Knowledge in Neural Networks
Interaction and Learning in a Humanoid Robot Magic Performance
Neural Ordinary Differential Equations for Data-Driven Reduced Order Modeling of Environmental Hydrodynamics
Towards Pareto Descent Directions in Sampling Experts for Multiple Tasks in an On-Line Learning Paradigm
Machine Learning and Personal Genome Informatics Contribute to Happiness Sciences and Wellbeing Computing
The Complexity of Two: Dyadic Processes and Evolving Social Aggregations
Disease Detection and Symptom Tracking by Retrieving Information from the Web
Rule-Based Explanations of Machine Learning Classifiers Using Knowledge Graphs