日本語
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#logicprogramming 検索結果

EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/05/22

Yet another programming problem with a Logical solution. #SQL #LogicProgramming

EvgSkvDev's tweet image. Yet another programming problem with a Logical solution. #SQL #LogicProgramming
1
0
10
3
7千
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/05/26

Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica

EvgSkvDev's tweet image. Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica
1
0
0
0
91
frossi_t's profile picture. #AI #Ethics Global Leader and Distinguished Research Staff Member @IBMResearch | @IBM Fellow AAAI President
Francesca Rossi
 @frossi_t
2023/07/28

After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog

frossi_t's tweet image. After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog
7
8
37
4
3千
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/05/26

Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic

EvgSkvDev's tweet image. Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic
1
1
1
1
176
kundankuma82593's profile picture. || Exploring the intersection of technology || #DataEntry || 5k+ follower's || #DigitalMarketing #GrowthStrategy|| telegram : https://t.co/zkkkXdQNWN
KUNDAN KUMAR CHOUDHARY
 @kundankuma82593
2023/12/27

"Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "

kundankuma82593's tweet image. "Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "
0
0
0
0
238
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/06/09

Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming

EvgSkvDev's tweet image. Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming
0
1
2
0
210
KSasagawa888's profile picture. I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
@sasagawa888
 @KSasagawa888
/07/20

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

KSasagawa888's tweet card. Prolog for the Intellectual Adventurer
Prolog for the Intellectual Adventurer
ソース: amazon.com
5
6
25
8
2千
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/08/13

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
47
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/06/26

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming
0
0
0
0
54
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/06/12

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
54
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/02/18

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming
0
0
0
0
50
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/01/22

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming
0
0
0
0
70
MikeChilson9's profile picture. Freelance Software Developer 🖥️, US Army Veteran 🪖, Amateur Astronomer 🔭, Aviation/Space nut ✈️🚀.
Mike Chilson 🐧
@MikeChilson9
2023/02/21

Putting the finishing touches on a cool client project an SWI Prolog-based expert system for an equipment rental company. Prolog offers a unique way of solving problems and building intelligent systems. #prolog #logicprogramming #AI

0
2
1
0
119
yilin_xia's profile picture. A Graph Farmer 🧑‍🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
Yilin Xia
 @yilin_xia
2023/11/07

Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization

yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
1
2
2
0
1千
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/02/07

Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/4gpJXWv #logic #logicprogramming

CUP_SciEng's tweet image. Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/4gpJXWv #logic #logicprogramming
0
0
1
1
75
worldscientific's profile picture. World Scientific is a leading independent publisher of academic and professional books and journals.
World Scientific
@worldscientific
2023/08/07

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on #computerscience applications including loop invariants, program correctness and #logicprogramming. Quote WSTWTR35 to enjoy a 35% off this title today!

0
17
194
4
548千
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/08/13

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
47
KSasagawa888's profile picture. I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
@sasagawa888
 @KSasagawa888
/07/20

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

KSasagawa888's tweet card. Prolog for the Intellectual Adventurer
Prolog for the Intellectual Adventurer
ソース: amazon.com
5
6
25
8
2千
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
/07/12

Proof theory and logic programming: Computation as proof search. ~ Dale Miller. lix.polytechnique.fr/Labo/Dale.Mill… #Logic #ProofTheory #LogicProgramming

0
0
8
4
313
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
/07/12

Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. elibrary.kdpu.edu.ua/bitstream/1234… #LogicProgramming #Prolog #ASP #CLP

0
1
4
2
293
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/06/26

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming
0
0
0
0
54
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/06/12

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
54
Homi_Lung's profile picture. Homi-Lung is an European Horizon 2020 project designed to explore molecular and genetic connections between cardiovascular diseases and respiratory illnesses.
Homi-Lung
 @Homi_Lung
/06/10

🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming

Homi_Lung's tweet image. 🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming
2
0
0
0
18
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
/06/09

Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). arxiv.org/abs/2108.09893 #Prolog #LogicProgramming #Math

0
0
6
4
296
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/08/13

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
47
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/06/12

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
54
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/02/18

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming
0
0
0
0
50
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
/01/22

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming
0
0
0
0
70
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/05/22

Yet another programming problem with a Logical solution. #SQL #LogicProgramming

EvgSkvDev's tweet image. Yet another programming problem with a Logical solution. #SQL #LogicProgramming
1
0
10
3
7千
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2023/10/13

New issue of Theory and Practice of Logic Programming now available 📚 cup.org/3Ms5eSf #logic #logicprogramming

CUP_SciEng's tweet image. New issue of Theory and Practice of Logic Programming now available 📚 cup.org/3Ms5eSf #logic #logicprogramming
0
0
0
0
100
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2024/05/04

Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3Uto2oa #logic #logicprogramming

CUP_SciEng's tweet image. Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3Uto2oa #logic #logicprogramming
0
0
1
0
111
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2024/03/23

Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/3TpcXEh #logic #logicprogramming

CUP_SciEng's tweet image. Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/3TpcXEh #logic #logicprogramming
0
0
1
0
81
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/05/26

Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica

EvgSkvDev's tweet image. Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica
1
0
0
0
91
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/05/26

Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic

EvgSkvDev's tweet image. Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic
1
1
1
1
176
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2024/01/01

Theory and Practice of Logic Programming is pleased to welcome Pedro Cabalar as the new Area Editor (Theoretical Foundations) from 1st January 2024 📚 cup.org/47h2uj2 #logic #logicprogramming

CUP_SciEng's tweet image. Theory and Practice of Logic Programming is pleased to welcome Pedro Cabalar as the new Area Editor (Theoretical Foundations) from 1st January 2024 📚 cup.org/47h2uj2 #logic #logicprogramming
0
0
3
1
130
rustcodeweb's profile picture. https://t.co/9OcmA6o6Ba
Rustcode
 @rustcodeweb
2024/08/04

7/ Prolog: A logic programming language primarily used in AI and computational linguistics. Its declarative approach is different from most imperative languages. 🤖 #Prolog #LogicProgramming

rustcodeweb's tweet image. 7/ Prolog: A logic programming language primarily used in AI and computational linguistics. Its declarative approach is different from most imperative languages. 🤖 #Prolog #LogicProgramming
1
0
1
0
23
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023/06/09

Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming

EvgSkvDev's tweet image. Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming
0
1
2
0
210
ecomputerbooks's profile picture. Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
Free Computer Books
 @ecomputerbooks
/12/15

Mathematical Aspects of Logic Programming Semantics - lnkd.in/etcTaD7p Look for "Read and Download Links" section to download. #math #Logic #LogicProgramming #programming

ecomputerbooks's tweet image. Mathematical Aspects of Logic Programming Semantics - lnkd.in/etcTaD7p Look for "Read and Download Links" section to download. #math #Logic #LogicProgramming #programming
0
0
0
0
21
yilin_xia's profile picture. A Graph Farmer 🧑‍🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
Yilin Xia
 @yilin_xia
2023/11/07

Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization

yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
1
2
2
0
1千
kundankuma82593's profile picture. || Exploring the intersection of technology || #DataEntry || 5k+ follower's || #DigitalMarketing #GrowthStrategy|| telegram : https://t.co/zkkkXdQNWN
KUNDAN KUMAR CHOUDHARY
 @kundankuma82593
2023/12/27

"Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "

kundankuma82593's tweet image. "Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "
0
0
0
0
238
Homi_Lung's profile picture. Homi-Lung is an European Horizon 2020 project designed to explore molecular and genetic connections between cardiovascular diseases and respiratory illnesses.
Homi-Lung
 @Homi_Lung
/06/10

🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming

Homi_Lung's tweet image. 🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming
2
0
0
0
18

Something went wrong.


Something went wrong.


United States Trends