Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,049,558 papers from all fields of science
Search
Sign In
Create Free Account
Vladimir Lifschitz
Vladimir Lifschitz is the Gottesman Family Centennial Professor in Computer Sciences at the University of Texas at Austin. He received a degree in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
ACM Transactions on Computational Logic
Circumscription (logic)
Michael Gelfond
Negation as failure
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Stalin's Piano with Dr Sonya Lifschitz
R. Davidson
,
Sonya Lifschitz
2018
Corpus ID: 192541241
Pianist Sonya Lifschitz discusses her collaborative role in preparing performances of Robert Davidson's composition Stalin's…
Expand
2017
2017
CASP for Robot Control in Hybrid Domains
Ryan Young
,
M. Balduccini
,
Ankush Israney
ASPOCP@LPNMR
2017
Corpus ID: 6136460
The task of planning in hybrid domains has recently attracted considerable attention, motivated by the potential for useful…
Expand
Review
2015
Review
2015
PERIODICITY PROPERTY WITH APPLICATIONS TO THE MODELING OF INTERACTIONS BETWEEN VERY INTENSE LASER BEAMS AND ELECTRONS OR ATOMS
A. Popa
2015
Corpus ID: 124500847
In previous papers we proved a general property of the relativistic interactions between very intense laser beams and (1…
Expand
2015
2015
The art of agony for solo piano - premiere performance
R. Davidson
2015
Corpus ID: 192310513
This premiere performance of Davidson's "The art of agony" was in the prominent setting of New York's Bargemusic at the Here and…
Expand
Review
2015
Review
2015
Infinitary Formulas in Answer Set Programming
A. Harrison
2015
Corpus ID: 120424121
The concept of a stable model for infinitary propositional formulas can be used to define the semantics of answer set programming…
Expand
2014
2014
Smiling at you
Sharone Lifschitz
2014
Corpus ID: 193023012
Since the turn of the millennium, Sharone Lifschitz (born in Israel, 1971; lives in London) has created a compelling body of work…
Expand
2014
2014
Ballistics Modeling for Non-Axisymmetric Hypervelocity Smart Bullets
D. Gordon
,
B. Hafizi
,
Y. Khine
,
Scott Douglass
2014
Corpus ID: 107631379
Abstract : A method for calculating the trajectories of guided, non-axisymmetric, hypervelocity projectiles is developed. The…
Expand
2011
2011
Splitting Computation of Answer Set Program and Its Application on E-service
Bohua Yang
,
Y. Zhang
,
Mingyi Zhang
,
Maonian Wu
International Journal of Computational…
2011
Corpus ID: 4965546
As a primary means for representing and reasoning about knowledge, Answer Set Programming (ASP) has been applying in many areas…
Expand
2006
2006
Revision programming = logic programming + constraints
V. Marek
,
I. Pivkina
,
M. Truszczynski
2006
Corpus ID: 2098931
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this…
Expand
1995
1995
Prioritizing Multiple, Contradictory Sources in Common-Sense Learning by Being Told; or, Advice-Take
Benjamin N. Grosof
1995
Corpus ID: 18023112
LIMITED DISTRIBUTION NOTICE This report has been submitted for publication outside of IBM and will probably be copyrighted if…
Expand