Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-2

Debugging techniques for declarative languages: Profiling,program slicing and algorithmic debugging

Josep Silva

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2021-11

An efficient and precise dynamic slicing for concurrent component-oriented programs

Niharika Pujari, Abhishek Ray, Jagannath Singh

International Journal of Knowledge-Based and Intelligent Engineering Systems

Open access

Research article

First published 2026

Leveraging Neurosymbolic AI for Slice Discovery

Michele Collevati, Thomas Eiter, Nelson Higuera

Neurosymbolic Artificial Intelligence

Retricted access

Research article

First published 2004-4

Slicing Timed Systems

Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

Slicing of Timed Automata with Discrete Data

Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2023-08-01

Three different optimization techniques for solving the fully rough interval multi-level linear programming problem

E. Fathy, E. Ammar, M.A. Helmy

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2022-04-28

A study of uncertainty multi-objective nonlinear programming problems for rough intervals

E. Ammar, A. Al-Asfar

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2022

Maximal and Minimal Dynamic Petri Net Slicing

M. Llorens, J. Oliver, J. Silva [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Dynamic Slicing for Concurrent Constraint Languages

Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1998-06

Sliced Configuration Spaces for Curved Planar Bodies

Elisha Sacks, Chandrajit Bajaj

The International Journal of Robotics Research

Search results